LPAR'99
csd.uu.se6th International Conference on Logic for Programming and Automated Reasoning. Tbilisi, Republic of Georgia; 6--10 September 1999.
6th International Conference on Logic for Programming and Automated Reasoning. Tbilisi, Republic of Georgia; 6--10 September 1999.