Logic programming - Clark, K. L.; Tarnlund, S. A. (Academic Press, 1982)
Βιβλιογραφία: σσ.341-361 περιέχει προβλήματα