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

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