Logic Programming and Automated Reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings - Harald Ganzinger, David McAllester, Andrei Voronkov ((Lecture Notes in Computer Science))