Béchir el Ayeb, Shengrui Wang. An effective algorithm for incompatibility abduction problems. In Seventh International Conference on Tools with Artificial Intelligence, ICTAI '95, Herndon, VA, USA, November 5-8, 1995. pages 90-97, IEEE Computer Society, 1995. [doi]
Abstract is missing.