Journal of the ACM Bibliography
D.
Michie and E. E.
Sibert. Some binary derivation systems. Journal of the
ACM, 21(2):175-190, April 1974.
[BibTeX entry]
Additional Key Words and Phrases:
heuristic search, graph search, derivation graphs, completeness,
minimality, evaluation functions, derivation costs, heuristic
estimators, artificial intelligence, theorem-proving, resolution
Selected references
Shortcuts: