Edinburgh Research Explorer

Rippling: A Heuristic for Guiding Inductive Proofs

Research output: Contribution to journalArticle

Standard

Rippling: A Heuristic for Guiding Inductive Proofs. / Bundy, Alan; Stevens, A.; van Harmelen, F.; Ireland, A.; Smaill, A.

In: Artificial Intelligence, Vol. 62, No. 2, 08.1993, p. 185–253.

Research output: Contribution to journalArticle

Harvard

Bundy, A, Stevens, A, van Harmelen, F, Ireland, A & Smaill, A 1993, 'Rippling: A Heuristic for Guiding Inductive Proofs', Artificial Intelligence, vol. 62, no. 2, pp. 185–253. https://doi.org/10.1016/0004-3702(93)90079-Q

APA

Bundy, A., Stevens, A., van Harmelen, F., Ireland, A., & Smaill, A. (1993). Rippling: A Heuristic for Guiding Inductive Proofs. Artificial Intelligence, 62(2), 185–253. https://doi.org/10.1016/0004-3702(93)90079-Q

Vancouver

Bundy A, Stevens A, van Harmelen F, Ireland A, Smaill A. Rippling: A Heuristic for Guiding Inductive Proofs. Artificial Intelligence. 1993 Aug;62(2):185–253. https://doi.org/10.1016/0004-3702(93)90079-Q

Author

Bundy, Alan ; Stevens, A. ; van Harmelen, F. ; Ireland, A. ; Smaill, A. / Rippling: A Heuristic for Guiding Inductive Proofs. In: Artificial Intelligence. 1993 ; Vol. 62, No. 2. pp. 185–253.