@inproceedings{BD05,
  author    = "Clark Barrett and Jacob Donham",
  title     = "Combining {SAT} Methods with Non-Clausal Decision Heuristics",
  booktitle = "Selected Papers from the Workshops on Disproving
               and the Second International Workshop on Pragmatics
               of Decision Procedures (PDPAR '04)",
  series    = "Electronic Notes in Theoretical Computer Science",
  volume    = "125(3)",
  publisher = "Elsevier",
  editor    = "Wolfgang Ahrendt and Peter Baumgartner and Hans de Nivelle and Silvio Ranise and Cesare Tinelli",
  pages     = "3--12",
  month     = jul,
  year      = 2005,
  note      = "Cork, Ireland"
}