@book(DBLP:books/aw/AbiteboulHV95,
 author       = {Serge Abiteboul and Richard Hull and Victor Vianu},
 year         = {1995},
 title        = {Foundations of Databases},
 publisher    = {Addison-Wesley},
)
@inproceedings(alviano2017asp,
 author       = {Mario Alviano and Francesco Calimeri and Carmine Dodaro and Davide Fusc{\`a} and Nicola Leone and Simona Perri and Francesco Ricca and Pierfrancesco Veltri and Jessica Zangari},
 year         = {2017},
 title        = {The {ASP} system DLV2},
 booktitle    = {International Conference on Logic Programming and Nonmonotonic Reasoning},
 organization = {Springer},
 pages        = {215--221},
 doi          = {10.1007/978-3-319-61660-5_19},
)
@article(alviano2012magic,
 author       = {Mario Alviano and Wolfgang Faber and Gianluigi Greco and Nicola Leone},
 year         = {2012},
 title        = {Magic sets for disjunctive {D}atalog programs},
 journal      = {Artificial Intelligence},
 volume       = {187},
 pages        = {156--192},
 doi          = {10.1016/j.artint.2012.04.008},
)
@article(DBLP:journals/jlp/BalbinPRM91,
 author       = {Isaac Balbin and Graeme S. Port and Kotagiri Ramamohanarao and Krishnamurthy Meenakshi},
 year         = {1991},
 title        = {Efficient Bottom-Up Computation of Queries on Stratified Databases},
 journal      = {J. Log. Program.},
 volume       = {11},
 number       = {3{\&}4},
 pages        = {295--344},
 doi          = {10.1016/0743-1066(91)90030-S},
)
@inproceedings(DBLP:conf/pods/BancilhonMSU86,
 author       = {Fran{\c{c}}ois Bancilhon and David Maier and Yehoshua Sagiv and Jeffrey D. Ullman},
 year         = {1986},
 title        = {Magic Sets and Other Strange Ways to Implement Logic Programs},
 booktitle    = {Proceedings of the Fifth {ACM} {SIGACT-SIGMOD} Symposium on Principles of Database Systems, March 24-26, 1986, Cambridge, Massachusetts, {USA}},
 pages        = {1--15},
 doi          = {10.1145/6012.15399},
)
@article(DBLP:journals/jlp/BeeriR91,
 author       = {Catriel Beeri and Raghu Ramakrishnan},
 year         = {1991},
 title        = {On the Power of Magic},
 journal      = {J. Log. Program.},
 volume       = {10},
 number       = {3{\&}4},
 pages        = {255--299},
 doi          = {10.1016/0743-1066(91)90038-Q},
)
@inproceedings(berman1995computing,
 author       = {K. Berman and J. Schlipf and J. Franco},
 year         = {1995},
 title        = {Computing the well-founded semantics faster},
 booktitle    = {Proceedings of the 3rd International Conference on Logic Programming and Nonmonotonic Reasoning},
 pages        = {113--126},
 doi          = {10.1007/3-540-59487-6\_9},
)
@article(DBLP:journals/tplp/BrassDFZ01,
 author       = {Stefan Brass and J{\"{u}}rgen Dix and Burkhard Freitag and Ulrich Zukowski},
 year         = {2001},
 title        = {Transformation-based bottom-up computation of the well-founded model},
 journal      = {{TPLP}},
 volume       = {1},
 number       = {5},
 pages        = {497--538},
 doi          = {10.1017/S147106840100103X},
)
@article(DBLP:journals/ws/CaliGL12,
 author       = {Cal{\`{\i}}, Andrea and Georg Gottlob and Thomas Lukasiewicz},
 year         = {2012},
 title        = {A general Datalog-based framework for tractable query answering over ontologies},
 journal      = {J. Web Sem.},
 volume       = {14},
 pages        = {57--83},
 doi          = {10.1016/j.websem.2012.03.001},
)
@article(DBLP:journals/jacm/ChenW96,
 author       = {Weidong Chen and David Scott Warren},
 year         = {1996},
 title        = {Tabled Evaluation With Delaying for General Logic Programs},
 journal      = {J. {ACM}},
 volume       = {43},
 number       = {1},
 pages        = {20--74},
 doi          = {10.1145/227595.227597},
)
@inproceedings(DBLP:conf/sp/DeTreville02,
 author       = {John DeTreville},
 year         = {2002},
 title        = {Binder, a Logic-Based Security Language},
 booktitle    = {Proc. of the 2002 IEEE Symp. on Security and Privacy (S\&P)},
 pages        = {105--113},
 doi          = {10.1109/SECPRI.2002.1004365},
)
@article(DBLP:journals/aicom/GebserKKOSS11,
 author       = {Martin Gebser and Benjamin Kaufmann and Roland Kaminski and Max Ostrowski and Torsten Schaub and Marius Thomas Schneider},
 year         = {2011},
 title        = {Potassco: The Potsdam Answer Set Solving Collection},
 journal      = {{AI} Commun.},
 volume       = {24},
 number       = {2},
 pages        = {107--124},
 doi          = {10.3233/AIC-2011-0491},
)
@article(DBLP:journals/jacm/GelderRS91,
 author       = {Allen Van Gelder and Kenneth A. Ross and John S. Schlipf},
 year         = {1991},
 title        = {The Well-Founded Semantics for General Logic Programs},
 journal      = {J. {ACM}},
 volume       = {38},
 number       = {3},
 pages        = {620--650},
 doi          = {10.1145/116825.116838},
)
@inproceedings(DBLP:conf/iclp/GelfondL88,
 author       = {Michael Gelfond and Vladimir Lifschitz},
 year         = {1988},
 title        = {The Stable Model Semantics for Logic Programming},
 booktitle    = {Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 {(2} Volumes)},
 pages        = {1070--1080},
)
@article(DBLP:journals/tcs/KempSS95,
 author       = {David B. Kemp and Divesh Srivastava and Peter J. Stuckey},
 year         = {1995},
 title        = {Bottom-Up Evaluation and Query Optimization of Well-Founded Models},
 journal      = {Theor. Comput. Sci.},
 volume       = {146},
 number       = {1{\&}2},
 pages        = {145--184},
 doi          = {10.1016/0304-3975(94)00153-A},
)
@article(DBLP:journals/toplas/LiuS09,
 author       = {Yanhong A. Liu and Scott D. Stoller},
 year         = {2009},
 title        = {From {D}atalog rules to efficient programs with time and space guarantees},
 journal      = {{ACM} Trans. Program. Lang. Syst.},
 volume       = {31},
 number       = {6},
 doi          = {10.1145/1552309.1552311},
)
@inproceedings(DBLP:conf/lfcs/LiuS18,
 author       = {Yanhong A. Liu and Scott D. Stoller},
 year         = {2018},
 title        = {Founded Semantics and Constraint Semantics of Logic Rules},
 booktitle    = {Proc. of the 2018 Intl. Symp. on Logical Foundations of Computer Science},
 publisher    = {Springer},
 pages        = {221--241},
 doi          = {10.1007/978-3-319-72056-2\_14},
)
@article(DBLP:journals/cacm/LooCGGHMRRS09,
 author       = {Boon Thau Loo},
 year         = {2009},
 title        = {Declarative networking},
 journal      = {Commun. {ACM}},
 volume       = {52},
 number       = {11},
 pages        = {87--95},
 doi          = {10.1145/1592761.1592785},
)
@incollection(Maier:2018:DCH:3191315.3191317,
 author       = {David Maier and K. Tuncay Tekle and Michael Kifer and David S. Warren},
 year         = {2018},
 title        = {Declarative Logic Programming},
 chapter      = {Datalog: Concepts, History, and Outlook},
 publisher    = {ACM, Morgan \& Claypool},
 address      = {New York, NY},
 pages        = {3--100},
 doi          = {10.1145/3191315.3191317},
)
@article(DBLP:journals/ipl/MeskesN93,
 author       = {Michael Meskes and J{\"{o}}rg Noack},
 year         = {1993},
 title        = {The Generalized Supplementary Magic-Sets Transformation for Stratified Datalog},
 journal      = {Inf. Process. Lett.},
 volume       = {47},
 number       = {1},
 pages        = {31--41},
 doi          = {10.1016/0020-0190(93)90154-2},
)
@article(motik2019maintenance,
 author       = {Boris Motik and Yavor Nenov and Robert Piro and Ian Horrocks},
 year         = {2019},
 title        = {Maintenance of datalog materialisations revisited},
 journal      = {Artificial Intelligence},
 volume       = {269},
 pages        = {76--136},
 doi          = {10.1016/j.artint.2018.12.004},
)
@article(DBLP:journals/jar/Przymusinski89,
 author       = {Teodor C. Przymusinski},
 year         = {1989},
 title        = {On the Declarative and Procedural Semantics of Logic Programs},
 journal      = {J. Autom. Reasoning},
 volume       = {5},
 number       = {2},
 pages        = {167--205},
 doi          = {10.1007/BF00243002},
)
@inproceedings(DBLP:conf/iclp/RaoRR96,
 author       = {Prasad Rao and C. R. Ramakrishnan and I. V. Ramakrishnan},
 year         = {1996},
 title        = {A Thread in Time Saves Tabling Time},
 booktitle    = {JICSLP},
 pages        = {112--126},
)
@article(DBLP:journals/jacm/Ross94,
 author       = {Kenneth A. Ross},
 year         = {1994},
 title        = {Modular Stratification and Magic Sets for Datalog Programs with Negation},
 journal      = {J. {ACM}},
 volume       = {41},
 number       = {6},
 pages        = {1216--1266},
 doi          = {10.1145/195613.195646},
)
@inproceedings(DBLP:conf/sigmod/SereniAM08,
 author       = {Damien Sereni and Pavel Avgustinov and Oege de Moor},
 year         = {2008},
 title        = {Adding magic to an optimising datalog compiler},
 booktitle    = {SIGMOD Conference},
 pages        = {553--566},
 doi          = {10.1145/1376616.1376673},
)
@inproceedings(DBLP:conf/iclp/TamakiS86,
 author       = {Hisao Tamaki and Taisuke Sato},
 year         = {1986},
 title        = {{OLD} Resolution with Tabulation},
 booktitle    = {Proc. of the 3rd Intl. Conf. on Logic Programming (ICLP)},
 pages        = {84--98},
 doi          = {10.1007/3-540-16492-8_66},
)
@inproceedings(DBLP:conf/ppdp/TekleL10,
 author       = {K. Tuncay Tekle and Yanhong A. Liu},
 year         = {2010},
 title        = {Precise complexity analysis for efficient datalog queries},
 booktitle    = {Proceedings of the 12th International {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria},
 pages        = {35--44},
 doi          = {10.1145/1836089.1836094},
)
@inproceedings(DBLP:conf/sigmod/TekleL11,
 author       = {K. Tuncay Tekle and Yanhong A. Liu},
 year         = {2011},
 title        = {More efficient datalog queries: subsumptive tabling beats magic sets},
 booktitle    = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data, {SIGMOD} 2011, Athens, Greece, June 12-16, 2011},
 pages        = {661--672},
 doi          = {10.1145/1989323.1989393},
)
@article(WarLiu17AppLP-arxiv,
 author       = {David S. Warren and Yanhong A. Liu},
 year         = {2017},
 title        = {{AppLP}: {A} Dialogue on Applications of Logic Programming},
 journal      = {Computing Research Repository},
 volume       = {arXiv:1704.02375 [cs.PL]},
)
@article(DBLP:journals/tplp/WielemakerSTL12,
 author       = {Jan Wielemaker and Tom Schrijvers and Markus Triska and Torbj{\"{o}}rn Lager},
 year         = {2012},
 title        = {SWI-Prolog},
 journal      = {{TPLP}},
 volume       = {12},
 number       = {1-2},
 pages        = {67--96},
 doi          = {10.1017/S1471068411000494},
)