Title: Reasoning and revision in hybrid representation systems
First published: 1990