Fassbender, Heinz, and Heiko Vogler. “A Universal Unification Algorithm Based on Unification-Driven Leftmost Outermost Narrowing”. Acta Cybernetica 11, no. 3 (January 1, 1994): 139-167. Accessed May 5, 2024. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3426.