Logic Programming-From a Logic Point of View.

Sten-Åke Tärnlund Logic Programming-From a Logic Point of View. 96-103 1986 SLP db/conf/slp/slp86.html#Tarnlund86