Proofs by Induction in Equational Theories with Constructors

Grard P. Huet, Jean-Marie Hullot

Browse the full FOCS paper archive.