@inproceedings{BST07-PDPAR,
  author    = "Clark Barrett and Igor Shikanian and Cesare Tinelli",
  title     = "An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types",
  booktitle = "Combined Proceedings of the $4^{th}$ Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR '06) and the $1^{st}$ International Workshop on Probabilistic Automata and Logics (PaUL '06)",
  series    = "Electronic Notes in Theoretical Computer Science",
  volume    = "174(8)",
  publisher = "Elsevier",
  editor    = "Byron Cook and Roberto Sebastiani",
  pages     = "23--37",
  month     = jun,
  year      = 2007,
  note      = "Seattle, Washington"
}