Clark, K.L. et al eds, Logic Programming, Academic Press 1982.

(1982)