Title: Semantische Optimierung rekursiver, insbesondere [delta]-transformierter Logikprogramme
Subjects: Logic programming