1. J.W. Lloyd, Foundations of Logic Programming, 2nd edn. (Springer, 1987)
2. R. Reiter, Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems (MIT Press, 2001)
3. M. Shanahan, Solving the Frame Problem (MIT Press, 1997)
4. K.L. Clark, Logic and Data Bases (Plenum Press, New York, 1978)
5. H.D. Ebbinghaus, J. Flum, W. Thomas, Einführung in die mathematische Logik, 5th edn. (Spektrum, 2007)