1. [8] Ghilardi, S., “Unification in intuitionistic logic,” Journal of Symbolic Logic, vol. 64 (1999), pp. 859–80.
2. [1] Baader, F., “Characterizations of unification type zero,” pp. 2–14 in Rewriting Techniques and Applications (Chapel Hill, N.C., 1989), edited by N. Dershowitz, volume 355 of Lecture Notes in Computer Science, Springer, Berlin, 1989.
3. [2] Baader, F., and J. H. Siekmann, “Unification theory,” pp. 41–125 in Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 2, edited by D. M. Gabbay, C. J. Hogger, and J. A. Robinson, Oxford Univ. Press, New York, 1994.
4. [3] Baader, F., and W. Snyder, “Unification theory,” pp. 445–532 in Handbook of Automated Reasoning, edited by A. Robinson and A. Voronkov, Springer, Berlin, 2001.
5. [4] Bova, S., and L. Cabrer, “Unification and projectivity in De Morgan and Kleene algebras,” Order, vol. 31 (2013), pp. 159–87.