1. Stefan Brass (2000): SLDMagic — The Real Magic (with Applications to Web Queries).. In: W. Lloyd: First International Conference on Computational Logic (CL'2000/DOOD'2000), LNCS 1861. Springer, pp. 1063–1077, doi:10.1007/3-540-44957-4_71. Available at
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. Mengchi Liu (2000): Design and Implementation of the ROL System. Journal of Intelligent Information Systems 14, pp. 1–21, doi:10.1023/A:1008774006482. Available at
  8. 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.
  9. 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
  10. Heribert Schütz (1993): Tupelweise Bottom-up-Auswertung von Logikprogrammen (Tuple-wise bottom-up evaluation of logic programs). TU München.
  11. 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
  12. Donald A. Smith & Mark Utting (1999): Pseudo-Naive Evaluation. In: Australasian Database Conference, pp. 211–223. Available at 1999-ADC-pseudo-naive-eval.pdf.
  13. Guizhen Yang & Michael Kifer (2000): FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine. In: W. Lloyd: First International Conference on Computational Logic (CL'2000/DOOD'2000), LNCS 1861. Springer, pp. 1078–1093, doi:10.1007/3-540-44957-4_72. Available at

Comments and questions to:
For website issues: