On Different Concepts of Resolution
- 1 January 1989
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 35 (1) , 71-77
- https://doi.org/10.1002/malq.19890350109
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Properties of substitutions and unificationsJournal of Symbolic Computation, 1985
- Equational methods in first order predicate calculusJournal of Symbolic Computation, 1985
- Some Proof Procedures Based on Herbrand's TheoremPublished by Elsevier ,1973