Author:
Bofill Miquel,Godoy Guillem,Nieuwenhuis Robert,Rubio Albert
Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. Bachmair, L., Ganzinger, H.: Rewrite-based equational theorem proving with selection and simplification. Journal of Logic and Computation 4(3), 217–247 (1994)
2. Lecture Notes in Artificial Intelligence;B..L. Bachmair,1998
3. Bofill, M., Godoy, G., Nieuwenhuis, R., Rubio, A.: Paramodulation with non-monotonic orderings. In: 14th IEEE Symposium on Logic in Computer Science (LICS), Trento, Italy, July 2-5, pp. 225–233 (1999)
4. Dershowitz, N.: Termination of rewriting. Journal of Symbolic Computation 3, 69–116 (1987)
5. Ganzinger, H., Nieuwenhuis, R., Nivela, P.: The Saturate System (1998), software and documentation maintained at
http://www.mpi-sb.mpg.de