Artifical intelligence: applications to logical reasoning and historical research / Richard Ennals. - Ennals, John Richard (1951- ). (Ellis Horwood Series in Computers and Their Applications, 1986)