Completeness results for basic narrowing

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

Term rewriting systems

Jan Willem Klop · Data Archiving and Networked Services (DANS) · 1990 · 783 citations

Computing, Computer Science, Formal Methods +14

An Efficient Unification Algorithm

Alberto Martelli, Ugo Montanari · ACM Transactions on Programming Languages and Systems · 1982 · 776 citations · Full text

Computing, Computer Science, Computer Systems +6

Proving termination with multiset orderings

Nachum Dershowitz, Zohar Manna · Communications of the ACM · 1979 · 540 citations · Full text

Computing, Computer Science, Algorithms +12

EQLOG: Equality, Types, and Generic Modules For Logic Programming.

Joseph A. Goguen, José Meseguer · 1986 · 206 citations

Computing, Computer Science, Formal Methods +11