https://www.sri.com/publication/artificial-intelligence-pubs/what-again-automatic-deductive-synthesis-of-the-unification-algorithm/
What, Again? Automatic Deductive Synthesis of the Unification Algorithm - SRI
May 5, 2023 - We describe work in progress towards deriving a unification algorithm automatically from a declarative specification using deductive methods.
of theunification algorithmautomaticdeductivesynthesis
https://easychair.org/smart-slide/slide/nWLd
Efficiency of a good but not linear nominal unification algorithm
a goodnominal unificationefficiencylinearalgorithm