Harald Ganzinger David A. McAllester Andrei Voronkov Logic Programming and Automated Reasoning, 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings LPAR Lecture Notes in Computer Science 1705 Springer 1999 3-540-66492-0 db/conf/lpar/lpar99.html