The Logic Programming Paradigm: a 25 Years Perspective, K.R. Apt, V. Marek, M. Truszczynski and D.S. Warren (eds), Springer-Verlag, Artificial Intelligence Series

• Apt, Krzysztof R ; Bezem, Marc (1998) Apt, Krzysztof R ; Bezem, Marc "Formulas as Programs"