1. Akama, K., Shimitsu, T., Miyamoto, E.: Solving Problems by Equivalent Transformation of Declarative Programs. Journal of the Japanese Society of Artificial Intelligence 13(6), 944–952 (1998) (in Japanese)
2. Anutariya, C., Wuwongse, V., Wattanapailin, V.: An Equivalent-Transformation- Based XML Rule Language. In: Proc. Int’l Workshop Rule Markup Languages for Business Rules in the Semantic Web, Sardinia, Italy (2002)
3. Bertino, E., Castano, S., Ferrari, S., Mesiti, M.: Specifying and Enforcing Access Control Policies for XML Document Sources. In: World Wide Web, vol. 3(3). Baltzer Science Publishers, Netherlands (2000)
4. Bertino, E., Castano, S., Ferrari, E.: On specifying security policies for web documents with an XML-based language. In: Proc. 6th ACM Symposium on Access control models and technologies, pp. 57–65. ACM Press, New York (2001)
5. Brickley, D., Guha, R.V.: RDF Vocabulary Description Language 1.0: RDF Schema. W3C Working Draft (January 2003),
http://www.w3.org/TR/rdf-schema/