Complexity and Expressive Power of Logic Programming (1997)

by E Dantsin, T Eiter, G Gottlob, A Voronkov
Venue:In Proc. IEEE Conference on Computational Complexity