Edinburgh Research Explorer

Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. / Bundy, Alan; van Harmelen, F.; Smaill, A.; Ireland, A.

10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings. Vol. Lecture Notes in Artificial Intelligence No. 449 Springer-Verlag GmbH, 1990. p. 132-146 (Lecture Notes in Computer Science; Vol. 449).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Bundy, A, van Harmelen, F, Smaill, A & Ireland, A 1990, Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. in 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings. vol. Lecture Notes in Artificial Intelligence No. 449, Lecture Notes in Computer Science, vol. 449, Springer-Verlag GmbH, pp. 132-146. DOI: 10.1007/3-540-52885-7_84

APA

Bundy, A., van Harmelen, F., Smaill, A., & Ireland, A. (1990). Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. In 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings (Vol. Lecture Notes in Artificial Intelligence No. 449, pp. 132-146). (Lecture Notes in Computer Science; Vol. 449). Springer-Verlag GmbH. DOI: 10.1007/3-540-52885-7_84

Vancouver

Bundy A, van Harmelen F, Smaill A, Ireland A. Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. In 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings. Vol. Lecture Notes in Artificial Intelligence No. 449. Springer-Verlag GmbH. 1990. p. 132-146. (Lecture Notes in Computer Science). Available from, DOI: 10.1007/3-540-52885-7_84

Author

Bundy, Alan ; van Harmelen, F. ; Smaill, A. ; Ireland, A./ Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings. Vol. Lecture Notes in Artificial Intelligence No. 449 Springer-Verlag GmbH, 1990. pp. 132-146 (Lecture Notes in Computer Science).