Algorithmic Methods for Artificial Intelligence - Michaelc Griffiths, Carol Palissier (Kogan Page, 1987)