Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings Baral Chitta Heftet / 2007 / Engelsk
