Spectrum-Based Fault Localization for Logic-Based Reasoning | IEEE Conference Publication | IEEE Xplore