@inproceedings{icms,
  author    = {Ahrens, Benedikt and M\"ortberg, Anders},
  title     = {{Some Wellfounded Trees in UniMath}},
  editor    = {Greuel, Gert-Martin and Koch, Thorsten and Paule, Peter and Sommese, Andrew},
  series    = {Lecture Notes in Computer Science},
  bookTitle = {Mathematical Software -- ICMS 2016},
  year      = {2016},
  volume    = {9725},
  pages     = {9--17},
  isbn      = {978-3-319-42432-3},
  doi       = {10.1007/978-3-319-42432-3_2},
  url       = {http://dx.doi.org/10.1007/978-3-319-42432-3_2},
  publisher = {Springer International Publishing},
}