by Harald Ganzinger, David McAllester, Andrei Voronkov
This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), held in Tbilisi, Georgia, September 6-10, 1999, and hoste…