From Logic to Logic Programming.

Michel de Rougemont From Logic to Logic Programming. 85-92 1984 AIMSA db/conf/aimsa/aimsa1984.html#Rougemont84