Publikation Unifikationstheorie Hans-Jürgen Bürckert In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Pages 112-125, Oldenbourg, 1992. BibTeX Export Unifikationstheorie@incollection{pub2386, 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 = {2. erweiterte und überarbeitete Auflage}, year = {1992}, pages = {112--125}, publisher = {Oldenbourg} }