Safe positive induction in the programming logic TK (1992)

by M C Henson
Venue:in: Logic Programming (ed. Voronkov, A.), LNCS 592