Reasoning and Revision in Hybrid Representation Systems (Lecture Notes in Computer Science, 422) | EKB DL