Boolean unification — The story so far
- 30 April 1989
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 7 (3-4) , 275-293
- https://doi.org/10.1016/s0747-7171(89)80013-6
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Unification in Boolean ringsJournal of Automated Reasoning, 1988
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- New Classes for Parallel Complexity: A Study of Unification and Other Complete Problems for PIEEE Transactions on Computers, 1986
- Refutational theorem proving using term-rewriting systemsArtificial Intelligence, 1985
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- A Computing Procedure for Quantification TheoryJournal of the ACM, 1960