Alternation and the computational complexity of logic programs (1984)

by E Shapiro
Venue:Journal of Logic Programming