PROTEIN: A PROver with a Theory Extension Interface (1994)

by Peter Baumgartner, Ulrich Furbach
Venue:AUTOMATED DEDUCTION -- CADE-12, VOLUME 814 OF LNAI