@Article{alti:jfp02,
  author = 	 {Andreas Abel and Thorsten Altenkirch},
  title = 	 {A Predicative Analysis of Structural Recursion},
  journal = 	 {Journal of Functional Programming},
  year = 	 2002,
  volume =	 12,
  number =	 1,
  pages =	 {1--41},
  month =	 {January}
}