@inproceedings{
    SAT13,
    author = "Wieringa, Siert and Heljanko, Keijo",
    responsibleauthor = "Wieringa, Siert",
    isbn = "978-3-642-39070-8",
    language = "eng",
    title = "Concurrent Clause Strengthening",
    series = "Lecture Notes in Computer Science",
    booktitle = "SAT",
    corerank = "A",
    country = "Germany",
    volume = "7962",
    pages = "116-132",
    flags = "DC,HIIT",
    il = "no",
    eventdetails = "July 8-12, Helsinki, Finland",
    year = "2013",
    unitcode = "T312-1, T306-99",
    kay = "NA",
    impactfactor = "A4",
    juforank = "1"
}