Author:
Meister Marc,Djelloul Khalil,Frühwirth Thom
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Colmerauer, A.: Prolog and infinite trees. In: Clark, K.L., Tärnlund, S.-A. (eds.) Logic Programming, pp. 231–251. Academic Press, London (1982)
2. Djelloul, K.: Decomposable theories. J. Theory and Practice of Logic Programming (to appear)
3. Frühwirth, T.: Theory and Practice of Constraint Handling Rules. J. Logic Programming 37(1-3), 95–138 (1998)
4. Lecture Notes in Computer Science;T. Frühwirth,2005
5. Frühwirth, T., Abdennadher, S.: Essentials of Constraint Programming. Springer, Heidelberg (2003)