Revising Domain Theories in Model-Based Reasoning Systems. - Wolfgang Nejdl; Johannes Kroupa (GWAI, 1989)