J. Moskal, und C. Matheus. Rule Representation, Interchange and Reasoning on the Web, Volume 5321 von Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2008)
C. Hsiao, S. Narayanasamy, E. Khan, C. Pereira, und G. Pokam. Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, Seite 193--205. ACM, (2017)
J. Huang, und A. Rajagopalan. Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Seite 462--476. ACM, (2016)
D. Deng, W. Zhang, und S. Lu. Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, Seite 785--802. ACM, (2013)
V. Raychev, M. Vechev, und M. Sridharan. Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages &\#38; Applications, Seite 151--166. ACM, (2013)
S. Lu, J. Tucek, F. Qin, und Y. Zhou. Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, Seite 37--48. ACM, (2006)