An effective algorithm for incompatibility abduction problems | IEEE Conference Publication | IEEE Xplore