Prädikatenlogik-Programme mit evaluierbaren Funktionen. - Winterstein, Georg (FB Informatik, 1978)