Induction Proofs with Partial Functions (1998)

Cached

Download Links

by Jürgen Giesl
Venue:Journal of Automated Reasoning
Citations:5 - 4 self