Skip to main content

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