Liliana Ironi Mario Stefanelli Generating Explanations of Pathophysiological Systems Behaviors from Qualitative Simulation of Compartmental Models. 115-126 1995 conf/aime/1995 AIME db/conf/aime/aime1995.html#IroniS95