From Logic to Logic Programming (1994)

by K Doets