Research Paper #459
|
Title: | Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs
|
Authors: | Bundy,A; van Harmelen,F; Smaill,AD
|
Date: | Jan 1990
|
Presented: | Submitted to CADE-10, July 1990
|
Keywords: |
|
Abstract: | In earlier papers we described a technique for automatically constructing inductive proofs, using a technique called rippling to reduce the search. Although essentially correct, further testing on harder examples showed that this technique had to be extended in various ways. Each of the various extensions are described with examples to illustrate why they are needed, but it is shown that the spirit of rippling has been maintained.
|
Download: | POSTSCRIPT COPY
|