1. Zhang, J., Zhang, H.: SEM: a system for enumerating models. In: International Joint Conference On Artificial Intelligence (1995)
2. McCune, W.: MACE 2.0 Reference Manual and Guide. CoRR (2001)
3. Claessen, K., Sörensson, N.: New techniques that improve MACE-Style finite model finding. In: CADE Workshop on Model Computation-Principles, Algorithms, Applications (2003)
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);P Baumgartner,2006
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);H Nivelle de,2006