Algorithmic methods for artificial intelligence - GRIFFITHS, Michael (Kogan Page, 1986)