Danielsson, Thorsten Altenkirch, Mixing induction and coinduction (2009)

by Nils Anders