RI Rule interchange and applications: international symposium ; proceedings by RuleML, Las Vegas, Nev fromLecture Notes in Computer Science 0 Type: Book