Logic Programming Ed. by K[eith] L. Clark and S.-A. Tärnlund - Clark, Keith L.; Tärnlund, S.-A (A.P.I.C. Studies in data processing, 1982)