History and basic features of the critical-pair/completion procedure

A Machine-Oriented Logic Based on the Resolution Principle

John A. Robinson · Journal of the ACM · 1965 · 3.9K citations · Full text

Computing, Computer Science, Decision Support Systems +4

Resolution of Singularities of an Algebraic Variety Over a Field of Characteristic Zero: I

Heisuke Hironaka · Annals of Mathematics · 1964 · 2.4K citations

Natural Sciences, Enology, Bank Resolution +7

The diamond lemma for ring theory

George M. Bergman · Advances in Mathematics · 1978 · 1.2K citations

Natural Sciences, Mathematics, Algebra +5

Greobner Bases : an algorithmic method in polynomial ideal theory

Bruno Buchberger · Medical Entomology and Zoology · 1985 · 1.1K citations

Natural Sciences, Computer Science, Mathematics +11

Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems

Gérard Huet · Journal of the ACM · 1980 · 1.1K citations · Full text

Language Studies, Information Systems, Computational Linguistics +7