A modular order-sorted equational generalization algorithm

A Structural Approach to Operational Semantics

Gordon Plotkin · 2004 · 2K citations

Language Studies, Computer Science, Formal Methods +6

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

Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations

Joseph A. Goguen, José Meseguer · Theoretical Computer Science · 1992 · 496 citations

Natural Sciences, Computer Science, Algebra +12

Solving Equations in Abstract Algebras: A Rule-Based Survey of Unification.

Jean-Pierre Jouannaud, Claude Kirchner · OpenGrey (Institut de l'Information Scientifique et Technique) · 1991 · 259 citations

Computing, Computer Science, Algebra +13

Unification Theory

Franz Baader · 1990 · 234 citations

Computing, Computer Science, Artificial Intelligence +7