Logic Programming and Nonmonotonic Reasoning Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings - Furbach, Ulrich; Furbach, Ulrich; Nerode, Anil; Nerode, Anil (Springer Berlin Heidelberg : Imprint: Springer, 1997)