Complexity and expressive power of logic programming (1997)

by E Dantsin, T Eiter, G Gottlob, A Voronkov
Venue:In Proceedings of the Twelfth Annual IEEE conference on Computational Complexity