Charakterisierung erkennbarer Termmengen in absolut freien universellen Algebren. - Opp, Manfred (Univ., Institut für Informatik, 1975)