A Mechanizable Induction Principle for Equational Specifications.

Hantao Zhang, Deepak Kapur, Mukkai S. Krishnamoorthy

Browse the full CADE paper archive.