System Description: Cooperation in Model Elimination: CPTHEO.

Marc Fuchs, Andreas Wolf

Browse the full CADE paper archive.