1. Andraus Z S, Liffiton M H, Sakallah K A. Reveal: a formal verification tool for verilog designs. In: Proceedings of International Conference on Logic for Programming Artificial Intelligence and Reasoning, 2008. 343–352
2. Banda M G D L, Stuckey P J, Wazny J. Finding all minimal unsatisfiable subsets. In: Proceedings of International ACM Sigplan Conference on Principles and Practice of Declarative Programming, Uppsala, 2003. 32–43
3. Tong Y X, Chen L, Zhou Z M, et al. SLADE: a smart large-scale task decomposer in crowdsourcing. IEEE Trans Knowl Data Eng, 2018, 30: 1588–1601
4. Janota M, Marques-Silva J. cmMUS: a tool for circumscription-based mus membership testing. In: Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning, 2011. 266–271
5. Luo J, Li W. An algorithm to compute maximal contractions for Horn clauses. Sci China Inf Sci, 2011, 54: 244–257