@incollection{
    DJN09HBSAT_ini,
    editor = "Biere, Armin and Heule, Marijn J. H. 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}",
    series = "Frontiers in Artificial Intelligence and Applications",
    booktitle = "Handbook of Satisfiability",
    issn = "0922-6389",
    month = "February",
    volume = "185",
    flags = "MCM public",
    year = "2009",
    pages = "655-693"
}
AUTHORS:
