@article{BST07-JSAT,
  author    = "Clark Barrett and Igor Shikanian and Cesare Tinelli",
  title     = "An Abstract Decision Procedure for a Theory of Inductive Data Types",
  journal   = "Journal on Satisfiability, Boolean Modeling and Computation",
  publisher = "IOS Press",
  volume    = 3,
  pages     = "21--46",
  year      = 2007,
  issn      = "1574-0617",
}