Generation and Verification of Finite Models and Counterexamples Using an Automated Theorem Prover Answering Two Open Questions
- 1 April 1982
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 29 (2), 273-284
- https://doi.org/10.1145/322307.322308
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Paramodulation and set of supportPublished by Springer Nature ,1970
- The Concept of Demodulation in Theorem ProvingJournal of the ACM, 1967