@article{aufsatz59250,
    affiliation = {Grundlagen der Programmierung},
    title = {A universal unification algorithm based on unification-driven leftmost outermost narrowing},
    journal = {Acta Cybernet.},
    pages = {139--167},
    year = {1994},
    peerreview = {Nein},
    volume = {11},
    author = {Faßbender, H. and Vogler, Heiko}
}