Embedding boolean expressions into logic programming
- 31 October 1987
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 4 (2), 191-205
- https://doi.org/10.1016/s0747-7171(87)80065-2
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Unification in Boolean ringsJournal of Automated Reasoning, 1988
- Unification in Abelian semigroupsJournal of Automated Reasoning, 1987
- Unification in datastructure multisetsJournal of Automated Reasoning, 1986
- Refutational theorem proving using term-rewriting systemsArtificial Intelligence, 1985
- A Unification Algorithm for Associative-Commutative FunctionsJournal of the ACM, 1981
- Boolean Functions and Equations (Sergiu Rudeanu)SIAM Review, 1976
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965