PROTEIN: A PROver with a theory extension INterface (1994)

by P Baumgartner, U Furbach
Venue:In Proceedings of the Conference on Automated Deduction