Proving open properties by induction (1988)

by J-C Raoult
Venue:Information Processing Letters