1. The RuleML Initiative. Document located, http://www.ruleml.org/
2. Lecture Notes in Computer Science;M. Bartoletti,2005
3. Bauer, A., Goré, R., Tiu, A.: A decidable policy language for history-based transaction monitoring. Technical report, The Australian National University (2009), http://arxiv.org/abs/0903.2904
4. Lecture Notes in Computer Science;A. Bauer,2006
5. Boley, H., Dean, M., Grosof, B., Sintek, M., Spencer, B., Tabet, S., Wagner, G.: FOL RuleML: The First-Order Logic Web Language (2005), http://www.ruleml.org/fol