@Inproceedings{EPTCS43.2,
  author    = {Abel, Andreas},
  year      = {2010},
  title     = {MiniAgda: Integrating Sized and Dependent Types},
  editor    = {Bove, Ana and Komendantskaya, Ekaterina and Niqui, Milad},
  booktitle = {{\rm Proceedings Workshop on}
               Partiality and Recursion in Interactive Theorem Provers,
               {\rm Edinburgh, UK, 15th July 2010}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {43},
  publisher = {Open Publishing Association},
  pages     = {14-28},
  doi       = {10.4204/EPTCS.43.2},
}