Induction proofs with partial functions (2001)

by J Giesl
Venue:J. Automat. Reason