Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs.

Alan Bundy, Frank van Harmelen, Alan Smaill, Andrew Ireland

Browse the full CADE paper archive.