Complexity and undecidability results in logic programming (1992)

by J Schlipf
Venue:In Workshop on Structural Complexity and Recursion-theoretic methods in Logic Programming