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