Logic for Programming, Artificial Intelligence, and Reasoning 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings - Vardi, Moshe; Vardi, Moshe; Voronkov, Andrei; Voronkov, Andrei (Springer Berlin Heidelberg : Imprint: Springer, 2003)