1. Lecture Notes in Artificial Intelligence;P. Baumgartner,2003
2. Lecture Notes in Artificial Intelligence;J.-P. Billon,1996
3. Claessen, K., Sörensson, N.: New techniques that improve MACE-style model finding. In: MODEL 2003: Proceedings of the Workshop on Model Computation (2003)
4. Davis, M., Logemann, G., Loveland, D.: A machine program for theorem-proving. Communications of the ACM 5, 394–397 (1962)
5. Fuchs, A.: Darwin: A theorem prover for the model evolution calculus. Master’s thesis, University of Koblenz-Landau (2004)