A.: Complexity and expressive power of logic programming (2001)

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