Jianmin Zhang, Weixia Xu, Jun Zhang, ShengYu Shen, Zhengbin Pang, Tiejun Li, Jun Xia, Sikun Li. Finding First-Order Minimal Unsatisfiable Cores with a Heuristic Depth-First-Search Algorithm. In Hujun Yin, Wenjia Wang, Victor J. Rayward-Smith, editors, Intelligent Data Engineering and Automated Learning - IDEAL 2011 - 12th International Conference, Norwich, UK, September 7-9, 2011. Proceedings. Volume 6936 of Lecture Notes in Computer Science, pages 178-185, Springer, 2011. [doi]
Abstract is missing.