%0 Journal Article
%A Jianmin Zhang
%A Shengyu Shen
%A Jun Zhang
%A Sikun Li
%T Extracting Minimal Unsatisfiable Subformulas in Satisfiability Modulo Theories
%J Computer Science and Information Systems
%D 2011
%V 8
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2011_8_3_a9/
%F CSIS_2011_8_3_a9