Computational logic--CL 2000 : First International Conference, London, UK, July 2000 : proceedings - Lloyd, J. W. (John Wylie), 1947- (Springer, 2000)