@unpublished{forsbergSetzer:InductionInduction:LICS2010,
author = {Fredrik Forsberg and Anton Setzer},
title = {Inductive-inductive definitions},
note = {10pp. Available from http://www.cs.swan.ac.uk/~csetzer/articles/forsbergSetzerInductionInduction.pdf},
year = {2010},
url={http://www.cs.swan.ac.uk/~csetzer/articles/forsbergSetzerInductionInduction.pdf}
}