You are about to access our book library "Computational Logic ― CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings (Lecture Notes in Computer Science, 1861) full version" .