Search, inference and dependencies in artificial intelligence - Shanahan, Murray; Southwick, Richard (Horwood, 1989)