Complexity and expressive power of logic programming (2001)

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