Journal of the ACM Bibliography

Rona B. Stillman. The concept of weak substitution in theorem-proving. Journal of the ACM, 20(4):648-667, October 1973. [BibTeX entry]
Additional Key Words and Phrases: associative processing, first-order predicate calculus, resolution, subsumption, theorem-proving, unification

Selected references


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