Franz Wotawa Model-Based Reasoning (Guest Editor's Introduction). 1-3 1999 12 AI Commun. 1-2 db/journals/aicom/aicom12.html#Wotawa99