ECAI 94 : - Cohn, A. G. (John Wiley, 1994)