Logic programming and non-monotonic reasoning : - Nerode, Anil, 1932-; Marek, Wiktor; Subrahmanian, V. S. (MIT Press, 1991)