Edinburgh Research Explorer

Productive Use of Failure in Inductive Proof

Research output: Contribution to journalArticle

Standard

Productive Use of Failure in Inductive Proof. / Ireland, A.; Bundy, Alan.

In: Journal of Automated Reasoning, Vol. 16, No. 1-2, 03.1996.

Research output: Contribution to journalArticle

Harvard

Ireland, A & Bundy, A 1996, 'Productive Use of Failure in Inductive Proof' Journal of Automated Reasoning, vol. 16, no. 1-2. DOI: 10.1007/BF00244460

APA

Ireland, A., & Bundy, A. (1996). Productive Use of Failure in Inductive Proof. Journal of Automated Reasoning, 16(1-2). DOI: 10.1007/BF00244460

Vancouver

Ireland A, Bundy A. Productive Use of Failure in Inductive Proof. Journal of Automated Reasoning. 1996 Mar;16(1-2). Available from, DOI: 10.1007/BF00244460

Author

Ireland, A. ; Bundy, Alan. / Productive Use of Failure in Inductive Proof. In: Journal of Automated Reasoning. 1996 ; Vol. 16, No. 1-2.