You are about to access our book library "Computational Logic - CL 2000: First International Conference London, UK, July 24-28, 2000 Proceedings full version" .