PROTEIN: A PROver with a Theory Extension INterface.

Peter Baumgartner, Ulrich Furbach

Browse the full CADE paper archive.