John W. Lloyd Verónica Dahl Ulrich Furbach Manfred Kerber Kung-Kiu Lau Catuscia Palamidessi Luís Moniz Pereira Yehoshua Sagiv Peter J. Stuckey Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings CL Lecture Notes in Computer Science 1861 Springer 2000 3-540-67797-6 db/conf/cl/cl2000.html