Edinburgh Research Explorer

Middle-out reasoning for synthesis and induction

Research output: Contribution to journalArticle

Standard

Middle-out reasoning for synthesis and induction. / Kraan, Ina; Basin, David; Bundy, Alan.

In: Journal of Automated Reasoning, Vol. 16, No. 1-2, 1996, p. 113-145.

Research output: Contribution to journalArticle

Harvard

Kraan, I, Basin, D & Bundy, A 1996, 'Middle-out reasoning for synthesis and induction', Journal of Automated Reasoning, vol. 16, no. 1-2, pp. 113-145. https://doi.org/10.1007/BF00244461

APA

Kraan, I., Basin, D., & Bundy, A. (1996). Middle-out reasoning for synthesis and induction. Journal of Automated Reasoning, 16(1-2), 113-145. https://doi.org/10.1007/BF00244461

Vancouver

Kraan I, Basin D, Bundy A. Middle-out reasoning for synthesis and induction. Journal of Automated Reasoning. 1996;16(1-2):113-145. https://doi.org/10.1007/BF00244461

Author

Kraan, Ina ; Basin, David ; Bundy, Alan. / Middle-out reasoning for synthesis and induction. In: Journal of Automated Reasoning. 1996 ; Vol. 16, No. 1-2. pp. 113-145.