Zur Logik der Logik-Programmierung ein konstruktiver Ansatz - Beckstein, Clemens (Informatik-Fachberichte, 1988)