Computational Logic - CL 2000 First International Conference London, UK, July 24-28, 2000 Proceedings - Lloyd, John; Lloyd, John; Dahl, Veronica; Dahl, Veronica; Furbach, Ulrich; Furbach, Ulrich; Kerber, Manfred; Kerber, Manfred; Lau, Kung-Kiu; Lau, Kung-Kiu; Palamidessi, Catuscia; Palamidessi, Catuscia; et al. (Springer Berlin Heidelberg : Imprint: Springer, 2000)