Complexity and Expressive Power of Logic Programming (1997)

by Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov