Complexity and Expressive Power of Logic Programming. (2001)

by E Dantsin, T Eiter, G Gottlob, A Voronkov
Venue:ACM Comput. Surv.,