Christophe Ringeissen. Matching with Free Function Symbols -- A Simple Extension of Matching?.
International Conference on Rewriting Techniques and Applications - RTA'2001, Vincent van Oostrom, 2001, Utrecht, The Netherlands, pp.276--290.
⟨inria-00108076⟩