Alternation and the Computational Complexity of Logic Programs

Ehud Y. Shapiro. Alternation and the Computational Complexity of Logic Programs. Journal of Logic and Algebraic Programming, 1(1):19-33, 1984.

Abstract

Abstract is missing.