You are about to access our book library "Logic Programming and Nonmonotonic Reasoning: Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings (Lecture Notes in Computer Science, 1265) full version" .