@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(BS13,
 author       = {Stefan Brass and Heike Stephan},
 year         = {2013},
 title        = {A Variant of Earley Deduction with Partial Evaluation},
 editor       = {Wolfgang Faber and Domenico Lembo},
 booktitle    = {Web Reasoning and Rule Systems - 7th International Conference, RR 2013},
 series       = {LNCS},
 volume       = {7994},
 publisher    = {Springer-Verlag},
 pages        = {35--49},
 doi          = {10.1007/978-3-642-39666-3\_4},
 url          = {http://dbs.informatik.uni-halle.de/Earley/},
)
@article(DMP94,
 author       = {Marcia A. Derr and Shinichi Morishita and Geoffrey Phipps},
 year         = {1994},
 title        = {The {G}lue-{N}ail Deductive Database System: Design, Implementation and Evaluation},
 journal      = {The VLDB Journal},
 volume       = {3},
 pages        = {123--160},
 doi          = {10.1007/BF01228879},
 url          = {http://www.vldb.org/journal/VLDBJ3/P123.pdf},
)
@inproceedings(GAK12,
 author       = {Todd J. Green and Molham Aref and Grigoris Karvounarakis},
 year         = {2012},
 title        = {{LogicBlox}, Platform and Language: A Tutorial},
 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        = {1--8},
 doi          = {10.1007/978-3-642-32925-8\_1},
 url          = {https://developer.logicblox.com/2012/08/},
)
@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(Liu99Rol,
 author       = {Mengchi Liu},
 year         = {2000},
 title        = {Design and Implementation of the {ROL} System},
 journal      = {Journal of Intelligent Information Systems},
 volume       = {14},
 pages        = {1--21},
 doi          = {10.1023/A:1008774006482},
 url          = {http://www.scs.carleton.ca/~mengchi/papers/rol-JIIS00.ps},
)
@inproceedings(Ram93,
 author       = {Kotagiri Ramamohanarao},
 year         = {1993},
 title        = {An Implementation Overview of the {A}diti Deductive Database System},
 editor       = {Stefano Ceri and Katsumi Tanaka and Shalom Tsur},
 booktitle    = {Deductive and Object-Oriented Databases, Third Int.~Conf.,~(DOOD'93)},
 series       = {LNCS},
 volume       = {760},
 publisher    = {Springer},
 pages        = {184--203},
 doi          = {10.1007/3-540-57530-8\_12},
)
@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},
 note         = {\newline{\tt http://www.cs.waikato.ac.nz/research/jstar/ 1999-ADC-pseudo-naive-eval.pdf}},
)
@inproceedings(YK00,
 author       = {Guizhen Yang and Michael Kifer},
 year         = {2000},
 title        = {{FLORA}: Implementing an Efficient {DOOD} System Using a Tabling Logic Engine},
 editor       = {W. Lloyd},
 booktitle    = {First International Conference on Computational Logic (CL'2000/DOOD'2000)},
 series       = {LNCS},
 volume       = {1861},
 publisher    = {Springer},
 pages        = {1078--1093},
 doi          = {10.1007/3-540-44957-4\_72},
 url          = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.110.4304},
)