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:

  • Journal of the ACM homepage
  • Bibliography top level
  • Journal of the ACM Author Index
  • Search the HBP database