Automating the Abductive Inference Loop | IEEE Conference Publication | IEEE Xplore