Charakterisierung erkennbarer Termmengen in absolut freien universellen Algebren - Opp, Manfred 1947- (Hamburg, Univ., Diss., 1975, 1975)