Algorithmic methods for artificial intelligence / - Griffiths, M. (Chapman and Hall,, 1987)