Semantik logischer Programme - Sperber, Helmut (Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik), 1988)