@inproceedings{
    DBLP:conf/sat/MaarenW08,
    editor = {{Kleine B{\"u}ning}, Hans and Zhao, Xishun},
    author = "van Maaren, Hans and Wieringa, Siert",
    responsibleauthor = "Wieringa, Siert",
    isbn = "978-3-540-79718-0",
    language = "eng",
    title = "Finding Guaranteed {MUS}es Fast",
    series = "Lecture Notes in Computer Science",
    booktitle = "Theory and Applications of Satisfiability Testing (SAT)",
    issn = "0302-9743",
    corerank = "A",
    country = "Germany",
    volume = "4996",
    pages = "291-304",
    flags = "DC",
    il = "yes",
    eventdetails = "May 12-15, Guangzhou, China",
    year = "2008",
    unitcode = "T306-50",
    kay = "NA",
    impactfactor = "A4",
    juforank = "1"
}