Complexity of the Stable Model Semantics for Queries on Incomplete Databases
J. de Bruijn, and S. Heymans. Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), volume 5753 of Lecture Notes in Computer Science, page 101-114. Potsdam, Germany, Springer, (2009)