1. Abdennadher, S., Christiansen, H.: An experimental CLP platform for integrity constraints and abduction. In: Proceedings of FQAS2000, Flexible Query Answering Systems: Advances in Soft Computing series, pp. 141–152. Physica-Verlag, Heidelberg (2000)
2. Lecture Notes in Artificial Intelligence;S. Abdennadher,1998
3. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E.: The CHR-based implementation of a system for generation and confirmation of hypotheses. In: Wolf, A., Frühwirth, T.W., Meister, M. (eds.) W(C)LP, vol. 2005-01 of Ulmer Informatik-Berichte, pp. 111–122. Universität Ulm, Germany (2005)
4. Lecture Notes in Computer Science;H. Betz,2005
5. Christiansen, H.: Automated reasoning with a constraint-based metainterpreter. Journal of Logic Programming 37(1-3), 213–254 (1998)