1. Apt, K., Bol, R.: Logic programming and negation: a survey. J. Log. Program. 19(20), 9–71 (1994). https://doi.org/10.1016/0743-1066(94)90024-8
2. Dageförde, J.C.: An integrated constraint-logic and object-oriented programming language: the Münster logic-imperative language. Dissertation, University of Münster (2020)
3. Dageförde, J.C., Kuchen, H.: A constraint-logic object-oriented language. In: Proceedings of the 33rd ACM/SIGAPP Symposium on Applied Computing, pp. 1185–1194. ACM (2018). https://doi.org/10.1145/3167132.3167260
4. Dageförde, J.C., Kuchen, H.: A compiler and virtual machine for constraint-logic object-oriented programming with Muli. J. Comput. Lang. 53, 63–78 (2019). https://doi.org/10.1016/j.cola.2019.05.001
5. Dageförde, J.C., Kuchen, H.: Applications of muli: solving practical problems with constraint-logic object-oriented programming. In: Lopez-Garcia, P., Giacobazzi, R., Gallagher, J. (eds.) Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems. LNCS. Springer (2020)