G. Steele, Jr., and J. Tristan. Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, page 15:1--15:12. ACM, (2016)
D. Sottara, P. Mello, and M. Proctor. Rule Representation, Interchange and Reasoning on the Web, volume 5321 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2008)