Guido Governatori John Hall Adrian Paschke Rule Interchange and Applications, International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings 5858 2009 http://dx.doi.org/10.1007/978-3-642-04985-9 978-3-642-04984-2 RuleML Lecture Notes in Computer Science Springer db/conf/ruleml/ruleml2009.html