MACE: Models and Counterexamples. URL http://www.mcs.anl.gov/AR/mace (1994)

by W McCune