Evaluating Automated Theorem Provers Using Adimen-SUMO.

Javier lvez, Paqui Lucio, German Rigau

Browse the full CADE paper archive.