Logic for programming and automated reasoning 6th international conference, LPAR '99, Tbilisi, Georgia, September 6 - 10, 1999 ; proceedings (Springer, 1999)