Complexity and expressive power of logic programming (0)

by Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov
Venue:ACM Computing Surveys