Clark Barrett, Igor Shikanian, Cesare Tinelli. An Abstract Decision Procedure for a Theory of Inductive Data Types. JSAT, 3(1-2):21-46, 2007. [doi]
@article{BarrettST07:0,
title = {An Abstract Decision Procedure for a Theory of Inductive Data Types},
author = {Clark Barrett and Igor Shikanian and Cesare Tinelli},
year = {2007},
url = {http://jsat.ewi.tudelft.nl/content/volume3/JSAT3_3_Barrett.pdf},
tags = {data-flow, type theory},
researchr = {https://researchr.org/publication/BarrettST07%3A0},
cites = {0},
citedby = {0},
journal = {JSAT},
volume = {3},
number = {1-2},
pages = {21-46},
}