CLARK, K. L. Logic Programming - Newyork AP press 1982 - 366p. ISBN: 0-12-175520-7 Dewey Class. No.: 5.02