Complexity and Undecidability Results in Logic Programming (1995)

by J Schlipf
Venue:Annals of Mathematics and Artificial Intelligence