Logic programming and nonmonotonic reasoning : - Dix, J. (Jurgen) 1961-; Furbach, Ulrich; Nerode, Anil, 1932- (Lecture notes in computer science. Lecture notes in artificial intelligence, 1997)