Artificial intelligence applications to logical reasoning and historical research - Ennals, Richard (Ellis Horwood, England, 1985)