Moshe Y. Vardi Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings LPAR Lecture Notes in Computer Science 2850 Springer 2003 3-540-20101-7 db/conf/lpar/lpar2003.html