Alessandro Armando, Michaël Rusinowitch, Sorin Stratulat. Incorporating Decision Procedures in Implicit Induction.
9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning - CALCULEMUS'2001, 2001, Sienne, Italy, 16 p.
⟨inria-00100610⟩