The Butterfly Algorithm Eliminating the Brute-Force Mechanism in ARIZ for Contradiction Problem Solving | IEEE Conference Publication | IEEE Xplore