@article{dybjersetzer:IndexedInductionRecursion:2006,
author = {Dybjer, Peter and Setzer, Anton},
title = {Indexed Induction-Recursion},
journal = {Journal of Logic and Algebraic Programming},
volume = {66},
year = {2006},
pages = {1 -- 49},
doi={10.1016/j.jlap.2005.07.001},
url={http://authors.elsevier.com/sd/article/S1567832605000536},
abstract = { }}