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