APA-Zitierstil (7. Ausg.)

Ireland, A. (1992). The use of planning critics in mechanizing inductive proofs.

Chicago-Zitierstil (17. Ausg.)

Ireland, Andrew. The Use of Planning Critics in Mechanizing Inductive Proofs. Edinburgh, 1992.

MLA-Zitierstil (9. Ausg.)

Ireland, Andrew. The Use of Planning Critics in Mechanizing Inductive Proofs. 1992.

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