@article{SMT-J-2006-BarrettST,
	author        = "Clark Barrett and Igor Shikanian and Cesare Tinelli",
	ee            = "http://jsat.ewi.tudelft.nl/content/volume3/JSAT3_3_Barrett.pdf",
	journal       = "{Journal on Satisfiability, Boolean Modeling and Computation}",
	number        = "1-2",
	pages         = "21--46",
	title         = "{An Abstract Decision Procedure for a Theory of Inductive Data Types}",
	volume        = 3,
	year          = 2007,
}