*Evgeny Dantsin, Thomas , Georg Gottlob, Andrei Voronkov: Complexity and expressive power of logic programming.
*Evgeny Dantsin, Thomas , Georg Gottlob, Andrei Voronkov: Complexity and expressive power of logic programming.