Fassbender, H., & Vogler, H. (1994). A universal unification algorithm based on unification-driven leftmost outermost narrowing. Acta Cybernetica, 11(3), 139-167. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3426