Ehud Y. Shapiro
Alternation and the Computational Complexity of Logic Programs
ICLP, 1982.
@inproceedings{ILPC-1982-Shapiro82, author = "Ehud Y. Shapiro", booktitle = "{Proceedings of the First International Logic Programming Conference}", pages = "154--163", publisher = "{ADDP-GIA}", title = "{Alternation and the Computational Complexity of Logic Programs}", year = 1982, }