Logic Programming and Nonmonotonic Reasoning : 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings - Thomas Eiter, Wolfgang Faber, Miros law Truszczy.ski ((Lecture Notes in Computer Science))