APA-Zitierstil (7. Ausg.)

Snyder, W. (1991). A proof theory for general unification. Birkhäuser.

Chicago-Zitierstil (17. Ausg.)

Snyder, Wayne. A Proof Theory for General Unification. Boston [u. a.]: Birkhäuser, 1991.

MLA-Zitierstil (9. Ausg.)

Snyder, Wayne. A Proof Theory for General Unification. Birkhäuser, 1991.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.