@article(ldl-2003,
 author       = "Faiz Arni and KayLiang  Ong and Shalom  Tsur and Haixun Wang and Carlo Zaniolo",
 year         = "2003",
 title        = "{The Deductive Database System  LDL++}",
 journal      = "{TPLP}",
 volume       = "3",
 number       = "1",
 pages        = "61--94",
 doi          = "10.1017/S1471068402001515",
)
@article(Bonner94anoverview,
 author       = "Anthony J. Bonner and Michael Kifer",
 year         = "1994",
 title        = "An Overview of Transaction  Logic",
 journal      = "Theoretical Computer Science",
 volume       = "133",
 doi          = "10.1016/0304-3975(94)90190-2",
)
@inproceedings(DBLP:conf/padl/CorreasGCCH04,
 author       = "Jes{\'u}s Correas and J. M. G{\'o}mez and Manuel Carro and Daniel Cabeza and Manuel V. Hermenegildo",
 year         = "2004",
 title        = "{A Generic Persistence Model  for (C)LP Systems (and Two Useful Implementations)}",
 editor       = "Bharat Jayaraman",
 booktitle    = "PADL",
 series       = "{LNCS}",
 volume       = "3057",
 pages        = "104--119",
 doi          = "10.1007/978-3-540-24836-1\_8",
)
@inproceedings(Dietrich87,
 author       = "Suzanne W. Dietrich",
 year         = "1987",
 title        = "Extension Tables: Memo  Relations in Logic Programming",
 booktitle    = "IEEE Symp. on Logic Programming",
 pages        = "264--272",
)
@book(draxler1992powerful,
 author       = "Cristoph Draxler",
 year         = "1992",
 title        = "A Powerful Prolog to SQL  Compiler",
 series       = "CIS-Bericht-",
 publisher    = "Univ.  M{\"u}nchen, Centrum f{\"u}r Informations-und Spracverarbeitung",
)
@inproceedings(DBLP:conf/jelia/FerreiraR04,
 author       = "Michel Ferreira and Ricardo Rocha",
 year         = "2004",
 title        = "The MyYapDB Deductive Database  System",
 booktitle    = "JELIA",
 pages        = "710--713",
 doi          = "10.1007/978-3-540-30227-8\_63",
)
@inproceedings(bddbddb-2005,
 author       = "Monica S. Lam and John  Whaley and V. Benjamin  Livshits and Michael C.  Martin and Dzintars  Avots and Michael Carbin and Christopher Unkel",
 year         = "2005",
 title        = "Context-sensitive program  analysis as database queries",
 booktitle    = "{PODS}",
 pages        = "1--12",
 doi          = "10.1145/1065167.1065169",
)
@article(dlv-2006,
 author       = "Nicola Leone and Gerald Pfeifer and Wolfgang Faber and Thomas Eiter and Georg Gottlob and Simona Perri and Francesco Scarcello",
 year         = "2006",
 title        = "{The DLV system for knowledge  representation and reasoning}",
 journal      = "{ACM Transactions on Computational Logic}",
 volume       = "7",
 number       = "3",
 pages        = "499--562",
 doi          = "10.1145/1149114.1149117",
)
@inproceedings(DBLP:journals/corr/cs-AI-0003033,
 author       = "Ilkka Niemel{\"a} and Patrik Simons and Tommi Syrj{\"a}nen",
 year         = "2000",
 title        = "{Smodels: A System for Answer  Set Programming}",
 booktitle    = "Proc. of the 8th Intl. Workshop on  Non-Monotonic Reasoning",
 url          = "http://arxiv.org/abs/cs.AI/0003033",
)
@inproceedings(sae13c-ictai13,
 author       = "Fernando S\'aenz-P\'erez",
 year         = "2013",
 title        = "Implementing Tabled  Hypothetical Datalog",
 booktitle    = "Proceedings of the 25th IEEE  International Conference on Tools with Artificial Intelligence, ICTAI'13",
 doi          = "10.1109/ICTAI.2013.94",
)
@article(Sae13a,
 author       = "Fernando S\'aenz-P\'erez",
 year         = "2013",
 title        = "Tabling with Support for  Relational Features in a Deductive Database",
 journal      = "Electronic Communications of the EASST",
 volume       = "55",
 pages        = "1 -- 16",
 url          = "http://journal.ub.tu-berlin.de/eceasst/article/view/819",
)
@inproceedings(DBLP:conf/aplas/Saenz-PerezCG11,
 author       = "Fernando S{\'a}enz-P{\'e}rez and Rafael Caballero and Yolanda Garc\'{\i }a-Ruiz",
 year         = "2011",
 title        = "{A Deductive Database with  Datalog and SQL Query Languages}",
 editor       = "Hongseok Yang",
 booktitle    = "APLAS",
 series       = "{LNCS}",
 volume       = "7078",
 publisher    = "Springer",
 pages        = "66--73",
 doi          = "10.1007/978-3-642-25318-8\_8",
)
@inproceedings(SD91,
 author       = "C.-F. Shih and Suzanne W. Dietrich",
 year         = "1991",
 title        = "Extension {T}able {E}valuation  of {D}atalog {P}rograms with {N}egation",
 booktitle    = "Proc. of the {IEEE} {I}nternational  {P}hoenix {C}onference on {C}omputers and {C}ommunications",
 volume       = "AZ",
 publisher    = "Scottsdale",
 pages        = "792--798",
 doi          = "10.1109/PCCC.1991.113896",
)
@book(silberschatz2010database,
 author       = "Avi Silberschatz and Henry F. Korth and S. Sudarshan",
 year         = "2010",
 title        = "{Database System Concepts  (Sixth Edition)}",
 publisher    = "McGraw-Hill New York",
)
@article(DBLP:journals/tplp/SwiftW12,
 author       = "Terrance Swift and David Scott Warren",
 year         = "2012",
 title        = "{XSB: Extending Prolog with  Tabled Logic Programming}",
 journal      = "TPLP",
 volume       = "12",
 number       = "1-2",
 pages        = "157--187",
 doi          = "10.1017/S1471068411000500",
)
@inproceedings(TS86,
 author       = "Hisao Tamaki and Taisuke Sato",
 year         = "1986",
 title        = "{OLDT} Resolution with  Tabulation",
 booktitle    = "Third International Conference on Logic  Programming",
 pages        = "84--98",
 doi          = "10.1007/3-540-16492-8\_66",
)
@article(Terracina:2008:ERQ:1348834.1348835,
 author       = "Giorgio Terracina and Nicola Leone and Vincenzino Lio and Claudio Panetta",
 year         = "2008",
 title        = "Experimenting with recursive  queries in database and logic programming systems",
 journal      = "Theory and Practice of Logic Programming",
 volume       = "8",
 number       = "2",
 pages        = "129--165",
 doi          = "10.1017/S1471068407003158",
)
@book(Ullman88,
 author       = "Jeffrey D. Ullman",
 year         = "1988",
 title        = "{Database and Knowledge-Base  Systems, Vols. I (Classical Database Systems) and II (The New  Technologies)}",
 publisher    = "Computer Science Press",
)
@article(Watson:2007:CSB:1300761.1301970,
 author       = "Hugh J. Watson and Barbara H. Wixom",
 year         = "2007",
 title        = "The Current State of Business  Intelligence",
 journal      = "Computer",
 volume       = "40",
 number       = "9",
 pages        = "96--99",
 doi          = "10.1109/MC.2007.331",
)