Logic programming and nonmonotonic reasoning 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings / - Dix, J.; Fuhrbach, Ulrich.; Nerode, Anil, (Springer,)