Artificial intelligence through search - Thornton, Christopher J.; Du Boulay, Benedict (Intellect, 1992)