Unification

wiki

On the logic of unification

An Efficient Unification Algorithm https://dl.acm.org/doi/10.1145/357162.357169

Don’t Implement Unification by Recursion

Matching, unification and complexity Pattern Matchingとの関係性？