From Logic to Logic Programming (1994)

by H C Doets