Rule-based reasoning, programming, and applications: 5th international symposium ; proceedings by RuleML, Barcelona; Fort Lauderdale, Fla fromLecture Notes in Computer Science 0 Type: Book