Logic Programming and Nonmonotonic Reasoning Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings by Ulrich Furbach | Menrva Books | MenrvaBooks