Beckstein, C. (1988). Zur Logik der Logik-Programmierung: Ein konstruktiver Ansatz. Springer.
Chicago-Zitierstil (17. Ausg.)Beckstein, Clemens. Zur Logik Der Logik-Programmierung: Ein Konstruktiver Ansatz. Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo: Springer, 1988.
MLA-Zitierstil (9. Ausg.)Beckstein, Clemens. Zur Logik Der Logik-Programmierung: Ein Konstruktiver Ansatz. Springer, 1988.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.