Dimopoulos, Yannis Programming Logics, MPI for Informatics, Max Planck Society;
Dimopoulos, Y. (1996). On Computing Logic Programs. Journal of Automated Reasoning, 17(3), 259-289.