Ursula Martin Tobias Nipkow Unification in Boolean Rings. 381-396 1988 4 J. Autom. Reasoning 4 db/journals/jar/jar4.html#MartinN88