Dimopoulos, Yannis Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dto6y (Publisher version)
Dimopoulos, Y. (1994). The Computational Value of Joint Consistency. In C. MacNish, D. Pearce, & L. M. Pereira (Eds.), Logics in Artificial Intelligence: Proceedings of the JELIA'94 (pp. 50-65). Berlin, Germany: Springer.