Boolean Unification - the story so far (1989)

by U Martin, T Nipkow
Venue:Journal of Symbolic Computation