Resolution-Like Theorem Proving for High-Level Conditions (2008)

by K-H Pennemann
Venue:In ICGT ’08. LNCS 5214