Werkzeuge zur Optimierung von logischen Programmen : Erkenntnisse aus einem Vergleich mit attributierten Grammatiken - Tsakpinis, Athanassios (Arbeitsberichte des Inst. für mathematische Maschinen und Datenverarbeitung, 1989)