1. [1] C. Andersen, B. Benyo, M. Calejo, M. Dean, P. Fodor, B. Grosof, M. Kifer, S. Liang, and T. Swift, Understanding rulelog computations in silk, in: Workshop in Logic-Based Methods in Programming Environments, 2013, Available at: http://arxiv.org/abs/1308.4125.
2. [2] F. Baader, S. Brandt, and C. Lutz, Pushing the EL envelope, in: IJCAI-05, Proc. of the Nineteenth International Joint Conference on Artificial Intelligence, L. Kaelbling and A. Saffiotti, eds, Professional Book Center, 2005, pp. 364–369.
3. HiLog: A foundation for higher-order logic programming;Chen;Journal of Logic Programming,1993
4. Tabled evaluation with delaying for general logic programs;Chen;Journal of the ACM,1996
5. Opium: An extendable trace analyser for Prolog;Ducassé;Journal of Logic Programming,1999