Maria J. GarcĂa de la Banda, Peter J. Stuckey, Jeremy Wazny. Finding all minimal unsatisfiable subsets. In Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden. pages 32-43, ACM, 2003. [doi]
Abstract is missing.