APA-Zitierstil (7. Ausg.)

Ireland, A., & Bundy, A. (1996). Extensions to a generalization critic for inductive proof.

Chicago-Zitierstil (17. Ausg.)

Ireland, Andrew, und Alan Bundy. Extensions to a Generalization Critic for Inductive Proof. Edinburgh, 1996.

MLA-Zitierstil (9. Ausg.)

Ireland, Andrew, und Alan Bundy. Extensions to a Generalization Critic for Inductive Proof. 1996.