Artificial intelligence through search - Thornton, Christopher James (Kluwer Academic Publishers, 1992)