Author:
Boy de la Tour Thierry,Echenim Mnacho
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)
2. Boy de la Tour, T., Echenim, M.: Determining unify-stable presentations (long version),
http://www-leibniz.imag.fr/~boydelat/papers/
3. Lecture Notes in Artificial Intelligence;T. Boy de la Tour,2004
4. Boy de la Tour, T., Echenim, M.: Permutative rewriting and unification. Information and Computation 25(4), 624–650 (2007)
5. Lecture Notes in Computer Science,1991