Automated Reasoning in

Volker Haarslev, Roberto Sebastiani, Michele Vescovi

Browse the full CADE paper archive.