Search in artificial intelligence - L Kanal, V Kumar (Springer-Verlag, 1988)