Embedding boolean expressions into logic programming
Authors:
- Wolfram ButtnerWBWolfram Buttner
- Helmut SimonisHSHelmut Simonis
- 1 October 1987
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 4 (2) , 191-205
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