A universal unification algorithm based on unification-driven leftmost outermost narrowing

Most read articles by the same author(s)

• Reinhard Pöschel, Aleksander Semigrodskij, Heiko Vogler, Relationally defined clones of tree functions closed under selection or primitive recursion , Acta Cybernetica: Vol. 16 No. 3 (2004)
• Manfred Droste, Heiko Vogler, Preface , Acta Cybernetica: Vol. 20 No. 2 (2011)
• Armin Kühnemann, Heiko Vogler, A pumping lemma for output languages of attributed tree transducers , Acta Cybernetica: Vol. 11 No. 4 (1994)
• Manfred Droste, Heiko Vogler, Preface , Acta Cybernetica: Vol. 19 No. 2 (2009)