@incollection{
    DJN09HBSAT,
    editor = "Biere, Armin and Heule, Marijn and van Maaren, Hans and Walsh, Toby",
    author = {Drechsler, Rolf and Junttila, Tommi and Niemel{\"a}, Ilkka},
    chapter = "21",
    publisher = "IOS Press",
    isbn = "978-1-58603-929-5",
    title = "Non-Clausal {SAT} and {ATPG}",
    url = "http://www.iospress.nl/loadtop/load.php?isbn=9781586039295",
    series = "Frontiers in Artificial Intelligence and Applications",
    booktitle = "Handbook of Satisfiability",
    issn = "0922-6389",
    corerank = "NA",
    month = "February",
    volume = "185",
    responsibleauthor = "Tommi Junttila",
    flags = "DC",
    year = "2009",
    impactfactor = "C",
    pages = "655--693"
}