Induction = I-Axiomatization + First-Order Consistency (1998)

by Hubert Comon, Robert Nieuwenhuis
Venue:INFORMATION AND COMPUTATION