Logic for Programming, Artificial Intelligence, and Reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings - Moshe Y. Vardi, Andrei Voronkov ((Lecture Notes in Computer Science))