Model Elimination without Contrapositives and its Application to PTTP (1994)

Cached

Download Links

by Peter Baumgartner , Ulrich Furbach
Venue:PROCEEDINGS OF CADE-12, SPRINGER LNAI 814
Citations:22 - 8 self