Franz Baader Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings 3452 2005 3-540-25236-3 LPAR Lecture Notes in Computer Science Springer https://doi.org/10.1007/b106931 db/conf/lpar/lpar2004.html