Termination of narrowing via termination of rewriting

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

Termination of rewriting

Nachum Dershowitz · Journal of Symbolic Computation · 1987 · 725 citations

Termination of term rewriting using dependency pairs

Thomas Arts, Jürgen Giesl · Theoretical Computer Science · 2000 · 498 citations

Language Studies, Linguistics, Formal Methods +4

The integration of functions into logic programming: From theory to practice

Michael Hanus · The Journal of Logic Programming · 1994 · 426 citations · Full text

Computing, Computer Science, Logic +13

Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity

James R. Slagle · Journal of the ACM · 1974 · 256 citations · Full text

Natural Sciences, Computer Science, Mathematics +13