@inproceedings{6ff01422a49649b1888a495aa0f4bbff,
title = "Fault localization and correction with QBF",
author = "Staber, {Stefan Simon} and Bloem, {Roderick Paul}",
year = "2007",
doi = "10.1007/978-3-540-72788-0",
language = "English",
isbn = "978-3-540-72787-3",
volume = "4501",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "355--268",
booktitle = "Theory and Applications of Satisfiability Testing – SAT 2007",
note = "International Conference on Theory and Applications of Satisfiability Testing ; Conference date: 28-05-2007 Through 31-05-2007",
}