Automatic Proofs by Induction in Equational Theories Without Constructors

Jean-Pierre Jouannaud, Emmanuel Kounalis

Browse the full LICS paper archive.