On the Complexity of Single−Rule Datalog Queries - Gottlob, G; Papadimitriou, C (Springer, 1999)