Media type: E-Article Title: Theory and Applications of Satisfiability Testing: On Finding All Minimally Unsatisfiable Subformulas Contributor: Liffiton, Mark H.; Sakallah, Karem A. imprint: Springer Berlin Heidelberg, 2005 Published in: Theory and Applications of Satisfiability Testing Language: Not determined DOI: 10.1007/11499107_13 ISSN: 0302-9743; 1611-3349 Origination: Footnote: