@Article{BarST-PDPAR-06,
  author =	 {Clark Barrett and Igor Shikanian and Cesare Tinelli},
  title =	 {An Abstract Decision Procedure for Satisfiability in
                  the Theory of Recursive Data Types},
  journal = 	 {Electronic Notes in Theoretical Computer Science},
  year = 	 2007,
  volume = 	 174,
  number = 	 8,
  pages = 	 {23-37},
}