Unification in Boolean rings and unquantified formulae of first order predicate calculus - Martin, Ursula (Univ., 1986)