Artificial intelligence applications to logical reasoning and historical research - Ennals, J. R. (John Richard), 1951- (Ellis Horwood Limited, 1985)