Unifikationstheorie erster Ordnung - Szabó, Peter (Univ., 1983)