Email Record: Computational logic--CL 2000 :