Boolean Unification - The Story So Far

Ursula Martin, Tobias Nipkow

Unification in Boolean rings, or algebras, has recently attracted considerable interest both for its theoretical merits, since it is unitary, and for its practical relevance for manipulating hardware descriptions. The aim of this paper is to give a comprehensive survey over the techniques and results in the field as far as it has evolved to date. However most of the results have been around for a long time, some of them going back to Boole himself.



@article{Martin-Nipkow-JSC, author="Ursula Martin and Tobias Nipkow", title="Boolean Unification --- The Story So Far", journal=JSC,year=1989,volume=7,pages="275--293", note="Reprinted in C. Kirchner, {\em Unification}, Academic Press (1990), 437--455"}