Unifikationstheorie

@incollection{pub2545,
    author = {

Bürckert, Hans-Jürgen
},
    editor = {

Bläsius, Karl-Hans
 and 

Bürckert, Hans-Jürgen
},
    title = {Unifikationstheorie},
    booktitle = {Deduktionssysteme. Automatisierung des logischen Denkens},
    edition = {1. Ausgabe},
    year = {1987},
    pages = {104--114},
    publisher = {Oldenbourg-Verlag}
}