Computer Science Logic - nidottu, Englanti, 1991