A Portable Environment for Research in Automated Reasoning.

Ewing L. Lusk, Ross A. Overbeek

Browse the full CADE paper archive.