Reasoning and revision in hybrid representation systems - Nebel, Bernhard (Springer, 1990)