Proofs by Induction in "Fairly" Specified Equational Theories.

Michel Bidoit

Browse the full KI paper archive.