Computability theory,semantics,and logic programming - Fitting Melvin (N Y O U P, 1987)
Keywords: Computability; Logic programming