APA-Zitierstil (7. Ausg.)

Bundy, A. (1990). The use of proof plans for normalization.

Chicago-Zitierstil (17. Ausg.)

Bundy, Alan. The Use of Proof Plans for Normalization. Edinburgh, 1990.

MLA-Zitierstil (9. Ausg.)

Bundy, Alan. The Use of Proof Plans for Normalization. 1990.

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