The Anatomy of Equinox - An Extensible Automated Reasoning Tool for First-Order Logic and Beyond - (Talk Abstract).

Koen Claessen

Browse the full CADE paper archive.