@article{DBLP:journals/ki/EglyH10,
  title = "A SAT Solver for Circuits Based on the Tableau Method",
  author = "Uwe Egly and Leopold Haller",
  year = "2010",
  journal = "KI",
  number = "1",
  pages = "15-23",
  volume = "24",
}