LPAR'99: 6th International Conference on Logic for Programming and Automated Reasoning. Tbilisi, Republic of Georgia, September 6-10, 1999.
Lecture Notes in Artificial Intelligence, vol. 1705.
Edited by Harald Ganzinger, David McAllester, and Andrei Voronkov.
Springer Verlag, September 1999.
Table of contents in the postscript form.