1. Abadi, M., Logic in access control, Proceedings of the 18th Annual Symposium on Logic in Computer Science, 2003, pp.228-233.
2. N3Logic: A logical framework for the World Wide Web
3. Blaustein, B., Seligman, L., Morse, M., Allen, M. D. and Rosenthal, A. PLUS: Synthesizing privacy, lineage, uncertainty and security, ICDEW 2008, IEEE 24th Data Engineering Workshop, 2008.
4. Issues in the practical use of graph rewriting