Stefan Brass (2010):
Implementation Alternatives for Bottom-Up Evaluation.
In: Manuel Hermenegildo & Torsten Schaub: Technical Communications of the 26th International Conference on Logic Programming (ICLP'10),
Leibniz International Proceedings in Informatics (LIPIcs) 7.
Schloss Dagstuhl,
pp. 44–53,
doi:10.4230/LIPIcs.ICLP.2010.44.
Available at http://users.informatik.uni-halle.de/~brass/botup/.
Stefan Brass & Heike Stephan (2013):
A Variant of Earley Deduction with Partial Evaluation.
In: Wolfgang Faber & Domenico Lembo: Web Reasoning and Rule Systems - 7th International Conference, RR 2013,
LNCS 7994.
Springer-Verlag,
pp. 35–49,
doi:10.1007/978-3-642-39666-3_4.
Available at http://dbs.informatik.uni-halle.de/Earley/.
Marcia A. Derr, Shinichi Morishita & Geoffrey Phipps (1994):
The Glue-Nail Deductive Database System: Design, Implementation and Evaluation.
The VLDB Journal 3,
pp. 123–160,
doi:10.1007/BF01228879.
Available at http://www.vldb.org/journal/VLDBJ3/P123.pdf.
Todd J. Green, Molham Aref & Grigoris Karvounarakis (2012):
LogicBlox, Platform and Language: A Tutorial.
In: Pablo Barceló & Reinhard Pichler: Datalog in Academica and Industry, 2nd Int. Workshop, Datalog 2.0,
LNCS 7494.
Springer-Verlag,
pp. 1–8,
doi:10.1007/978-3-642-32925-8_1.
Available at https://developer.logicblox.com/2012/08/.
Senlin Liang, Paul Fodor, Hui Wan & Michael Kifer (2009):
OpenRuleBench: An Analysis of the Performance of Rule Engines.
In: Proceedings of the 18th International Conference on World Wide Web (WWW'09).
ACM,
pp. 601–610,
doi:10.1145/1526709.1526790.
Available at http://rulebench.projects.semwebcentral.org/.
Kotagiri Ramamohanarao (1993):
An Implementation Overview of the Aditi Deductive Database System.
In: Stefano Ceri, Katsumi Tanaka & Shalom Tsur: Deductive and Object-Oriented Databases, Third Int. Conf., (DOOD'93),
LNCS 760.
Springer,
pp. 184–203,
doi:10.1007/3-540-57530-8_12.
Konstantinos Sagonas, Terrance Swift & David S. Warren (1994):
XSB as an Efficient Deductive Database Engine.
In: Richard T. Snodgrass & Marianne Winslett: Proc. of the 1994 ACM SIGMOD Int. Conf. on Management of Data (SIGMOD'94),
pp. 442–453,
doi:10.1145/191843.191927.
Available at http://user.it.uu.se/~kostis/Papers/xsbddb.html.
Heribert Schütz (1993):
Tupelweise Bottom-up-Auswertung von Logikprogrammen (Tuple-wise bottom-up evaluation of logic programs).
TU München.
Praveen Seshadri, Shaun Flisakowski & Seymour Hersh (1996):
CORAL: The Inside Story. Shocking Hacks Revealed.
Technical Report.
Department of Computer Sciences, The University of Wisconsin-Madison.
Available at http://ftp.cs.wisc.edu/coral/doc/Inside.ps.
Donald A. Smith & Mark Utting (1999):
Pseudo-Naive Evaluation.
In: Australasian Database Conference,
pp. 211–223.
Available at http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.177.5047.
http://www.cs.waikato.ac.nz/research/jstar/ 1999-ADC-pseudo-naive-eval.pdf.
eptcs@eptcs.org