A new combination of input and unit deductions for Horn sentences
- 1 May 1984
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 18 (4) , 209-213
- https://doi.org/10.1016/0020-0190(84)90113-3
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Horn clause computabilityBIT Numerical Mathematics, 1977
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976