%0 Generic
%T Theory and Applications of Satisfiability Testing: On Finding All Minimally Unsatisfiable Subformulas
%A Liffiton, Mark H.
%A Sakallah, Karem A.
%I Springer Berlin Heidelberg
%@ 0302-9743
%@ 1611-3349
%D 2005
%C Springer Berlin Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation