Extending Decision Procedures with Induction Schemes.

Deepak Kapur, Mahadevan Subramaniam

Browse the full CADE paper archive.