Search, inference and dependencies in artificial intelligence /
Shanahan, Murray.
Southwick, Richard.
Chichester Ellis Horwood
1989