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