@Article{BarST-JSAT-07,
  author =	 {Clark Barrett and Igor Shikanian and Cesare Tinelli},
  title =	 {An Abstract Decision Procedure for Satisfiability in
                  the Theory of Inductive Data Types},
  journal =	 {Journal on Satisfiability, Boolean Modeling and
                  Computation},
  year =	 2007,
  volume =	 3,
  pages =	 {21--46},
}