1. Claessen, K., Sörensson, N.: New techniques that improve MACE-style model finding. In: Proc. of Workshop on Model Computation (MODEL) (2003)
2. McCune, W.: Solution of the Robbins problem. Journal of Automated Reasoning 19(3), 263–276 (1997)
3. McCune, W.: Prover9 and Mace4 (2006),
http://www.cs.unm.edu/~mccune/mace4/
4. Schulz, S.: E - a brainiac theorem prover. AI Commun. 15(2-3), 111–126 (2002)
5. Sutcliffe, G., Suttner, C.: The State of CASC. AI Communications 19(1), 35–48 (2006)