author = { Liffiton, Mark H. AND Sakallah, Karem A. },

title = { Theory and Applications of Satisfiability Testing: On Finding All Minimally Unsatisfiable Subformulas },

publisher = {Springer Berlin Heidelberg},

isbn = {0302-9743},

isbn = {1611-3349},

year = {2005},

url = { http://slubdd.de/katalog?TN_libero_mab2 }