Béchir el Ayeb Pierre Marquis Michaël Rusinowitch Deductive/Abductvie Diagnosis: The DA-Principles. 47-52 1990 ECAI db/conf/ecai/ecai90.html#AyebMR90