Unifikationstheorie erster Ordnung - Szabó, Peter 1946- (1982)
Karlsruhe, Univ. (T.H.), Diss.