Logic Programming and Nonmonotonic Reasoning : Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings - Jürgen Dix, Ulrich Furbach, Anil Nerode ((Lecture Notes in Computer Science))