1. Aref, M., ten Cate, B., Green, T.J., Kimelfeld, B., Olteanu, D., Pasalic, E., Veldhuizen, T.L., Washburn, G.: Design and implementation of the LogicBlox system. In: Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, pp. 1371–1382. ACM (2015).
https://developer.logicblox.com/wp-content/uploads/2016/01/logicblox-sigmod15.pdf
2. Becket, R.: Mercury tutorial. Technical report, University of Melbourne, Department of Computer Science (2010).
http://mercurylang.org/documentation/papers/book.pdf
3. Brass, S.: Implementation alternatives for bottom-up evaluation. In: Hermenegildo, M., Schaub, T. (eds.) Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010). Leibniz International Proceedings in Informatics (LIPIcs), vol. 7, pp. 44–53. Schloss Dagstuhl (2010).
http://drops.dagstuhl.de/opus/volltexte/2010/2582
4. Brass, S.: Order in Datalog with applications to declarative output. In: Barceló, P., Pichler, R. (eds.) Datalog 2.0 2012. LNCS, vol. 7494, pp. 56–67. Springer, Heidelberg (2012). doi:
10.1007/978-3-642-32925-8_7
.
http://users.informatik.uni-halle.de/~brass/order/
5. Brass, S., Stephan, H.: Bottom-up evaluation of Datalog: preliminary report. In: Schwarz, S., Voigtländer, J. (eds.) Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming (WLP 2015/2016/WFLP 2016). Electronic Proceedings in Theoretical Computer Science, no. 234, pp. 13–26. Open Publishing Association (2017).
https://arxiv.org/abs/1701.00623