Reasoning and revision in hybrid representation systems - Nebel, Bernhard (Lecture notes in computer science, 1990)