1. Baader, F., Snyder, W.: Unification theory. In: Robinson, A., Voronkov, A. (eds.) Handbook Of Automated Reasoning. Elsevier, Amsterdam (2001)
2. de Champeaux, D.: About the Paterson–Wegman linear unification algorithm. J. Comput. Syst. Sci. 32(1), 79–90 (1986). https://doi.org/10.1016/0022-0000(86)90003-6
3. Jacobson, E.: Unification and anti-unification. Technical Report (1991). http://erikjacobsen.com/pdf/unification.pdf
4. https://github.com/ddccc/Unification. Accessed 24 July 2022
5. Lecture Notes in Computer Science;K Hoder,2009