Unification in Boolean Rings

Ursula Martin, Tobias Nipkow. Unification in Boolean Rings. Journal of Automated Reasoning, 4(4):381-396, 1988.

Abstract

Abstract is missing.