Automated Inference of Finite Unsatisfiability.

Koen Claessen, Ann Lilliestrm

Browse the full CADE paper archive.