Extensions to the rippling-out tactic for guiding inductive proofs

• Authors:

• Alan Bundy;Frank van Harmelen;Alan Smaill;Andrew Ireland

• Affiliations:

• -;-;-;-

• Venue:
• CADE-10 Proceedings of the tenth international conference on Automated deduction
• Year:
• 1990