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