Unification in Boolean rings
Ursula Martin and Tobias Nipkow
Journal
Journal of Automated Reasoning
Number
4
Pages
381–396
Publisher
Springer Netherlands
Volume
4
Year
1988
Ursula Martin and Tobias Nipkow