A Deductive Fault Analysis Method Based on Hypergraphs | AMiner