@conference{txa:mpc2010g,
  title={{Subtyping, declaratively; an exercise in mixed induction and coinduction}},
  author={Danielsson, Nils Anders and Altenkirch, Thorsten},
  booktitle={proceedings of the Tenth International Conference on Mathematics of Program Construction (MPC 10)},
  year={2010}
}