@article{journals/csur/DantsinEGV01,
  title = "Complexity and expressive power of logic programming",
  author = "Evgeny Dantsin and Thomas Eiter and Georg Gottlob and Andrei Voronkov",
  year = "2001",
  journal = "{ACM} Comput. Surv.",
  number = "3",
  pages = "374-425",
  volume = "33",
  doi = "10.1145/502807.502810",
}