1
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings /