Unification in Boolean Rings.

Ursula Martin, Tobias Nipkow

Browse the full CADE paper archive.