@inproceedings(Aref15,
 author       = {Molham Aref and Balder ten Cate and Todd J. Green and Benny Kimelfeld and Dan Olteanu and Emir Pasalic and Todd L. Veldhuizen and Geoffrey Washburn},
 year         = {2015},
 title        = {Design and Implementation of the {LogicBlox} System},
 booktitle    = {Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data},
 publisher    = {ACM},
 pages        = {1371--1382},
 doi          = {10.1145/2723372.2742796},
 url          = {https://developer.logicblox.com/wp-content/uploads/2016/01/logicblox-sigmod15.pdf},
)
@inproceedings(BMSU86,
 author       = {Francois 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    = {Proc.~of the 5th ACM Symp.~on Principles of Database Systems (PODS'86)},
 publisher    = {ACM Press},
 pages        = {1--15},
 doi          = {10.1145/6012.15399},
)
@inproceedings(BR87,
 author       = {Catril Beeri and Raghu Ramakrishnan},
 year         = {1987},
 title        = {On the Power of Magic},
 booktitle    = {Proc.~of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'87)},
 publisher    = {ACM},
 pages        = {269--284},
 doi          = {10.1145/28659.28689},
)
@inproceedings(Bra00,
 author       = {Stefan Brass},
 year         = {2000},
 title        = {{SLDMagic} --- The Real Magic (with Applications to Web Queries).},
 editor       = {W. Lloyd},
 booktitle    = {First International Conference on Computational Logic (CL'2000/DOOD'2000)},
 series       = {LNCS},
 volume       = {1861},
 publisher    = {Springer},
 pages        = {1063--1077},
 doi          = {10.1007/3-540-44957-4\_71},
 url          = {http://users.informatik.uni-halle.de/~brass/sldmagic/},
)
@inproceedings(Bra10CPP,
 author       = {Stefan Brass},
 year         = {2010},
 title        = {Implementation Alternatives for Bottom-Up Evaluation},
 editor       = {Manuel Hermenegildo and Torsten Schaub},
 booktitle    = {Technical Communications of the 26th International Conference on Logic Programming (ICLP'10)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {7},
 publisher    = {Schloss Dagstuhl},
 pages        = {44--53},
 doi          = {10.4230/LIPIcs.ICLP.2010.44},
 url          = {http://users.informatik.uni-halle.de/~brass/botup/},
)
@inproceedings(Bra12,
 author       = {Stefan Brass},
 year         = {2012},
 title        = {Order in Datalog with Applications to Declarative Output},
 editor       = {Pablo Barcel{\'o} and Reinhard Pichler},
 booktitle    = {Datalog in Academica and Industry, 2nd Int.~Workshop, Datalog~2.0},
 series       = {LNCS},
 volume       = {7494},
 publisher    = {Springer-Verlag},
 pages        = {56--67},
 doi          = {10.1007/978-3-642-32925-8\_7},
 url          = {http://users.informatik.uni-halle.de/~brass/order/},
)
@inproceedings(BS15WLP,
 author       = {Stefan Brass and Heike Stephan},
 year         = {2015},
 title        = {Bottom-Up Evaluation of Datalog: Preliminary Report},
 editor       = {Sibylle Schwarz and Steffen H{\"o}lldobler},
 booktitle    = {29th Workshop on (Constraint) Logic Programming (WLP 2015)},
 publisher    = {HTWK Leipzig},
 pages        = {21--35},
 url          = {http://www.imn.htwk-leipzig.de/WLP2015/},
)
@article(CW96SLG,
 author       = {Weidong Chen and David S. Warren},
 year         = {1996},
 title        = {Tabled Evaluation with Delaying for General Logic Programs},
 journal      = {Journal of the ACM},
 volume       = {43},
 number       = {1},
 pages        = {20--74},
 doi          = {10.1145/227595.227597},
)
@inproceedings(Costa99,
 author       = {V{\'\i}tor Santos Costa},
 year         = {1999},
 title        = {Optimizing Bytecode Emulation for Prolog},
 editor       = {Gopalan Nadathur},
 booktitle    = {Principles and Practice of Declarative Programming, International Conference PPDP'99},
 series       = {LNCS},
 volume       = {1702},
 publisher    = {Springer},
 pages        = {261--277},
 doi          = {10.1007/10704567\_16},
)
@article(CRD12,
 author       = {V\'{\i}tor Santos Costa and Ricardo Rocha and Lu\'{\i}s Damas},
 year         = {2012},
 title        = {The {YAP} Prolog System},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {12},
 number       = {1--2},
 pages        = {5--34},
 doi          = {10.1017/S1471068411000512},
 url          = {https://www.dcc.fc.up.pt/~ricroc/homepage/publications/2012-TPLP.pdf},
)
@inproceedings(HKRT08,
 author       = {Pascal Hitzler and Markus Kr{\"o}tzsch and Sebastian Rudolph and Tuvshintur Tserendorj},
 year         = {2008},
 title        = {Approximate {OWL} Instance Retrieval with {SCREECH}},
 editor       = {Anthony G. Cohn and David C. Hogg and M{\"o}ller. Ralf and Bernd Neumann},
 booktitle    = {Logic and Probability for Scene Interpretation},
 series       = {Dagstuhl Seminar Proceedings},
 volume       = {08091},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
 address      = {Dagstuhl, Germany},
 pages        = {1--8},
 url          = {http://drops.dagstuhl.de/opus/volltexte/2008/1615},
)
@inproceedings(LKN13,
 author       = {Viktor Leis and Alfons Kemper and Thomas Neumann},
 year         = {1997},
 title        = {The Adaptive Radix Tree: {ARTful} Indexing for Main-Memory Databases},
 booktitle    = {Proc.~of the 2013 IEEE International Conference on Data Engineering (ICDE'2013)},
 publisher    = {IEEE Computer Society},
 pages        = {38--49},
 doi          = {10.1109/ICDE.2013.6544812},
 url          = {http://www3.informatik.tu-muenchen.de/~leis/papers/ART.pdf},
)
@article(LPFEGPS06,
 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 Trans. Comput. Logic},
 volume       = {7},
 number       = {3},
 pages        = {499--562},
 doi          = {10.1145/1149114.1149117},
 url          = {https://arxiv.org/pdf/cs/0211004},
)
@inproceedings(LFWK09,
 author       = {Senlin Liang and Paul Fodor and Hui Wan and Michael Kifer},
 year         = {2009},
 title        = {{OpenRuleBench}: {An} Analysis of the Performance of Rule Engines},
 booktitle    = {Proceedings of the 18th International Conference on World Wide Web (WWW'09)},
 publisher    = {ACM},
 pages        = {601--610},
 doi          = {10.1145/1526709.1526790},
 url          = {http://rulebench.projects.semwebcentral.org/},
)
@article(Neu11,
 author       = {Thomas Neumann},
 year         = {2011},
 title        = {Efficiently Compiling Efficient Query Plans for Modern Hardware},
 journal      = {Proceedings of the VLDB Endowment},
 volume       = {4},
 number       = {9},
 pages        = {539--550},
 doi          = {10.14778/2002938.2002940},
 url          = {http://www.vldb.org/pvldb/vol4/p539-neumann.pdf},
)
@article(RSS94,
 author       = {Raghu Ramakrishnan and Divesh Srivastava and S. Sudarshan},
 year         = {1994},
 title        = {Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs},
 journal      = {IEEE Transactions on Knowledge and Data Engineering},
 volume       = {6},
 number       = {4},
 pages        = {501--517},
 doi          = {10.1109/69.298169},
 url          = {https://www.cse.iitb.ac.in/~sudarsha/Pubs-dir/ruleordering-tkde.pdf},
)
@inproceedings(Ros91,
 author       = {Kenneth A. Ross},
 year         = {1991},
 title        = {Modular Acyclicity and Tail Recursion in Logic Programs},
 booktitle    = {Proc.~of the Tenth ACM SIGACT-SIGMOD-SIGART Symp.~on Princ.~of Database Systems (PODS'91)},
 pages        = {92--101},
 doi          = {10.1145/113413.113422},
)
@inproceedings(SSW94,
 author       = {Konstantinos Sagonas and Terrance Swift and David S. Warren},
 year         = {1994},
 title        = {{XSB} as an Efficient Deductive Database Engine},
 editor       = {Richard T. Snodgrass and Marianne Winslett},
 booktitle    = {Proc.~of the 1994 ACM SIGMOD Int.~Conf.~on Management of Data (SIGMOD'94)},
 pages        = {442--453},
 doi          = {10.1145/191843.191927},
 url          = {http://user.it.uu.se/~kostis/Papers/xsbddb.html},
)
@phdthesis(Sch93,
 author       = {Heribert Sch{\"u}tz},
 year         = {1993},
 title        = {{T}upelweise {B}ottom-up-{A}uswertung von {L}ogikprogrammen (Tuple-wise bottom-up evaluation of logic programs)},
 school       = {TU M{\"u}nchen},
)
@techreport(SFH96,
 author       = {Praveen Seshadri and Shaun Flisakowski and Seymour Hersh},
 year         = {1996},
 title        = {CORAL: The Inside Story. {Shocking} Hacks Revealed},
 type         = {Technical Report},
 institution  = {Department of Computer Sciences, The University of Wisconsin-Madison},
 url          = {http://ftp.cs.wisc.edu/coral/doc/Inside.ps},
)
@inproceedings(SU99,
 author       = {Donald A. Smith and Mark Utting},
 year         = {1999},
 title        = {Pseudo-Naive Evaluation},
 booktitle    = {Australasian Database Conference},
 pages        = {211--223},
 url          = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.177.5047},
)
@article(Swi99,
 author       = {Terrance Swift},
 year         = {1999},
 title        = {Tabling for non-monotonic programming},
 journal      = {Annals of Mathematics and Artificial Intelligence},
 volume       = {25},
 pages        = {201--240},
 doi          = {10.1023/A:1018990308362},
 url          = {http://www3.cs.stonybrook.edu/~tswift/webpapers/amai-99.ps},
)