http://ebiquity.umbc.edu/paper/html/id/751/Abductive-reasoning-in-multiple-fault-diagnosis 1989-07-01