1. K. Apt and R. Bol. Logic Programming and Negation: A Survey. Journal of Logic Programming, 19/20:9–71, 1994.
2. S. Abramsky, D. Gabbay, and T. Maibaum, editors. Handbook of Logic in Computer Science II — Background: Computational Structures. Oxford University Press, 1992.
3. K.R. Apt. From Logic Programming to Prolog. Prentice Hall, 1996.
4. W. Bibel and E. Eder. Methods and Calculi for Deduction. In Gabbay et al. [GHR93], pp. 67–182.
5. J. Benthem. Temporal Logic. In Gabbay et al. [GHR95], pp. 241–350.