Doets, Kees
From logic to logic programming - Cambridge MIT Press 1994 - 214 - Foundations of computing .
0 262 04142 1
Logic Programming
681.3 DOE
From logic to logic programming - Cambridge MIT Press 1994 - 214 - Foundations of computing .
0 262 04142 1
Logic Programming
681.3 DOE