@STRING{par10	= "Workshop on Partiality And Recursion in Interative Theorem
		  Provers (PAR 2010), Satellite Workshop of ITP'10 at FLoC
		  2010" }

@InProceedings{	  abel:par10,
  author	= {Andreas Abel},
  title		= {MiniAgda: {I}ntegrating Sized and Dependent Types},
  optcrossref	= {},
  optkey	= {},
  booktitle	= par10,
  optpages	= {},
  year		= {2010},
  editor	= {Ana Bove and Ekaterina Komendantskaya and Milad Niqui},
  optvolume	= {},
  optnumber	= {},
  optseries	= {},
  optaddress	= {},
  optmonth	= {},
  optorganization={},
  optpublisher	= {},
  optnote	= {},
  opturl	= {},
  optpostscript	= {},
  optpdf	= {},
  optdvi	= {},
  optabstract	= {}
}