1. Molham Aref, Balder ten Cate, Todd J. Green, Benny Kimelfeld, Dan Olteanu, Emir Pasalic, Todd L. Veldhuizen, and Geoffrey Washburn. 2015. Design and Implementation of the LogicBlox System. In Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data (SIGMOD ’15) . ACM, New York, NY, USA, 1371–1382.
2. Martin Bravenboer and Yannis Smaragdakis. 2009. Strictly declarative specification of sophisticated points-to analyses. In Proceedings of OOPSLA ’09 . ACM, New York, NY, USA, 243–262.
3. Elnar Hajiyev, Mathieu Verbaere, and Oege de Moor. 2006. CodeQuest: Scalable Source Code Queries with Datalog. In Proceedings of the 20th European Conference on Object-Oriented Programming (ECOOP’06) . Springer-Verlag, Berlin, Heidelberg, 2–27.
4. Görel Hedin and Eva Magnusson. 2003. JastAdd: An Aspect-oriented Compiler Construction System. Sci. Comput. Program. 47, 1 (April 2003), 37–58.
5. Ralf Lämmel and Simon Peyton Jones. 2005. Scrap Your Boilerplate with Class: Extensible Generic Functions. SIGPLAN Not. 40, 9 (Sept. 2005), 204–215.