Computational Logic - inbunden, Engelska, 1999