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.
dvi
BibTeX:
@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"}