Unifikation. Aktuelles Schlagwort.

@article{pub2359,
    author = {

Bürckert, Hans-Jürgen
 and 

Herold, Alexander
},
    title = {Unifikation. Aktuelles Schlagwort.},
    year = {1986},
    volume = {9},
    number = {3},
    pages = {186--187},
    journal = {Informatik Spektrum},
    publisher = {Springer}
}