Search in artificial intelligence (Springer, 1988)