Equational methods in first order predicate calculus
A preliminary version of this paper was presented as “A new interpretation of the resolution principle” at the 7th International Conference on Automated Deduction in Napa, California, May 1984. The proceedings are in Springer-Verlag, Lecture Notes in Computer Sciences 170, edited by R. E. Shostak.
Under an Elsevier user license
open archive
Cited by (0)
Copyright © 1985 Published by Elsevier Ltd.