Proofs by induction in equational theories with constructors - Huet, Gérard 1947-; Hullot, Jean-Marie (Institut National de Recherche en Informatique et en Automatique <Rocquencourt>: Rapports de recherche, 1980)