@inproceedings{
    DIFTS11,
    author = "Wieringa, Siert",
    responsibleauthor = "Wieringa, Siert",
    language = "eng",
    title = "On Incremental Satisfiability and Bounded Model Checking",
    url = "http://ceur-ws.org/Vol-832",
    series = "CEUR Workshop Proceedings",
    booktitle = "First International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS11)",
    corerank = "NA",
    volume = "832",
    flags = "DC",
    il = "no",
    eventdetails = "November 3, Austin, Texas",
    year = "2011",
    unitcode = "T306-100",
    kay = "NA",
    impactfactor = "D3",
    juforank = "NA"
}