Term Rewriting and all That, 1998. ,
Tom: Piggybacking Rewriting on Java, Proceedings of the 18th Conference on Rewriting Techniques and Applications, pp.36-47, 2007. ,
DOI : 10.1007/978-3-540-73449-9_5
URL : https://hal.archives-ouvertes.fr/inria-00142045
Complexity of matching problems, Journal of Symbolic Computation, vol.3, issue.1-2, pp.203-216, 1987. ,
DOI : 10.1016/S0747-7171(87)80027-5
The ASF+SDF Meta-Environment: a Component-Based Language Development Environment, Compiler Construction, pp.365-370, 2001. ,
Matching ??? A special case of unification?, Journal of Symbolic Computation, vol.8, issue.5, pp.125-138, 1990. ,
DOI : 10.1016/S0747-7171(89)80057-4
TQL: a query language for semistructured data based on the ambient logic, Mathematical Structures in Computer Science, vol.14, issue.3, pp.285-327, 2004. ,
DOI : 10.1017/S0960129504004141
Constraint Solving on Terms, LNCS, pp.47-103, 2001. ,
DOI : 10.1007/3-540-45406-3_2
Associative matching for linear terms, 1992. ,
Associative-Commutative Rewriting on Large Terms, Proceedings of the 14th International Conference on Rewriting Techniques and Applications, pp.14-29, 2003. ,
DOI : 10.1007/3-540-44881-0_3
The Complexity of Counting Problems in Equational Matching, Journal of Symbolic Computation, vol.20, issue.3, pp.343-362, 1995. ,
DOI : 10.1006/jsco.1995.1054
Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems, Preliminary version in 18th Symposium on Foundations of Computer Science, pp.797-821, 1977. ,
DOI : 10.1145/322217.322230
Solving equations in abstract algebras: a rulebased survey of unification, Computational Logic. Essays in honor of Alan Robinson, pp.257-321, 1991. ,
Computing unification algorithms, Proceedings 1st IEEE Symposium on Logic in Computer Science, pp.206-216, 1986. ,
Syntactic theories and unification, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science, pp.270-277, 1990. ,
DOI : 10.1109/LICS.1990.113753
Anti-pattern Matching, Proceedings of the 16th European Symposium on Programming, pp.110-124, 2007. ,
DOI : 10.1007/978-3-540-71316-6_9
URL : https://hal.archives-ouvertes.fr/inria-00337722
THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP, Mathematics of the USSR-Sbornik, vol.32, issue.2, pp.129-198, 1977. ,
DOI : 10.1070/SM1977v032n02ABEH002376
Normalized Rewriting: an Alternative to Rewriting modulo a Set of Equations, Journal of Symbolic Computation, vol.21, issue.3, pp.253-288, 1996. ,
DOI : 10.1006/jsco.1996.0011
Proof transformations for equational theories, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science, pp.278-288, 1990. ,
DOI : 10.1109/LICS.1990.113754
Combining matching algorithms: The regular case, Journal of Symbolic Computation, vol.12, issue.6, pp.633-653, 1991. ,
DOI : 10.1016/S0747-7171(08)80145-9
Building-in equational theories, Machine Intelligence, vol.7, pp.73-90, 1972. ,
Combining Decision Algorithms for Matching in the Union of Disjoint Equational Theories, Information and Computation, vol.126, issue.2, pp.144-160, 1996. ,
DOI : 10.1006/inco.1996.0042
A new method for undecidability proofs of first order theories, Journal of Symbolic Computation, vol.14, issue.5, pp.437-457, 1992. ,
DOI : 10.1016/0747-7171(92)90016-W
XDO2: A Deductive Object-Oriented Query Language for XML, DASFAA, pp.311-322, 2005. ,
DOI : 10.1007/11408079_29