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