Complexity and expressive power of logic programming - Dantsin, E; Eiter, T; Gottlob, G; Voronkov, A (2001)