Unifikationstheorie erster Ordnung

Peter Szabó. Unifikationstheorie erster Ordnung. PhD thesis, Karlsruhe Institute of Technology, Germany, 1983. [doi]

Bibliographies