Martin, U. (1986). Unification in Boolean rings and unquantified formulae of first order predicate calculus. Univ.
Chicago-Zitierstil (17. Ausg.)Martin, Ursula. Unification in Boolean Rings and Unquantified Formulae of First Order Predicate Calculus. Manchester: Univ, 1986.
MLA-Zitierstil (9. Ausg.)Martin, Ursula. Unification in Boolean Rings and Unquantified Formulae of First Order Predicate Calculus. Univ, 1986.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.