Computational Logic CL 2000 00