João Marques-Silva. Computing Minimally Unsatisfiable Subformulas: State of the Art and Future Directions. Multiple-Valued Logic and Soft Computing, 19(1-3):163-183, 2012. [doi]
@article{Marques-Silva12,
title = {Computing Minimally Unsatisfiable Subformulas: State of the Art and Future Directions},
author = {João Marques-Silva},
year = {2012},
url = {http://www.oldcitypublishing.com/MVLSC/MVLSCabstracts/MVLSC18.5-6abstracts/MVLSCv18n5-6p617-636Li.html},
researchr = {https://researchr.org/publication/Marques-Silva12},
cites = {0},
citedby = {0},
journal = {Multiple-Valued Logic and Soft Computing},
volume = {19},
number = {1-3},
pages = {163-183},
}