Adrian Paschke Yevgen Biletskiy Advances in Rule Interchange and Applications, International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007, Proceedings RuleML Lecture Notes in Computer Science 4824 Springer 2007 978-3-540-75974-4 db/conf/ruleml/ruleml2007.html