Unification in boolean rings
Ursula Martin and Tobias Nipkow
Book Title
International Conference on Automated Deduction
Organisation
Springer‚ Berlin‚ Heidelberg
Pages
506–513
Year
1986
Ursula Martin and Tobias Nipkow