Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. H. Comon, P. Lescanne: Equational Problems and Disunification, Journal of Symbolic Computation, Vol 7, pp. 371–425, (1989).
2. Lect Notes Comput Sci;R. Caferra,1996
3. R. Caferra, N. Zabel: Extending Resolution for Model Construction, Proceedings of Logics in AI-JELIA’90, LNAI 478, pp. 153–169, Springer (1991).
4. N. Dershowitz, Z. Manna: Proving Termination with Multiset Orderings, in Communications of the ACM, Vol 22, No 8, pp. 465–475 (1979).
5. C. Fermüller, A. Leitsch, T. Tammet, N. Zamov: Resolution Methods for the Decision Problem. LNAI 679, Springer (1993).