Proofs by induction in equational theories with constructors - Huet, Gérard 1947-; Hullot, Jean-Marie (1980)