Computational Logic — CL 2000 - häftad, Engelska, 2000