Complexity and expressive power of logic programming
Evgeny Dantsin‚ Thomas Eiter‚ Georg Gottlob and Andrei Voronkov
Journal
ACM Comput. Surv.
Number
3
Pages
374−425
Volume
33
Year
2001
Evgeny Dantsin‚ Thomas Eiter‚ Georg Gottlob and Andrei Voronkov