Ehud Y. Shapiro Alternation and the Computational Complexity of Logic Programs. 19-33 1984 1 J. Log. Program. 1 db/journals/jlp/jlp1.html#Shapiro84