Extracting Minimal Unsatisfiable Subformulas in Satisfiability Modulo Theories Jianmin Zhang; Shengyu Shen; Jun Zhang; Weixia Xu; Sikun Li — 2011 Computer Science and Information Systems