Computational Logic . CL 2000 : First International Conference London, UK, July 24.28, 2000 Proceedings - John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, . Peter J. Stuckey ((Lecture Notes in Computer Science))