@InProceedings{	  abel:aplas07,
  author	= {Andreas Abel},
  title		= {Mixed Inductive/Coinductive Types and Strong
		  Normalization},
  booktitle	= {The Fifth ASIAN Symposium on Programming Languages and
		  Systems (APLAS 2007)},
  optcrossref	= {},
  optkey	= {},
  optpages	= {},
  year		= {2007},
  opteditor	= {},
  optvolume	= {},
  optnumber	= {},
  optseries	= {},
  optaddress	= {},
  optmonth	= {},
  optorganization={},
  optpublisher	= {},
  optnote	= {To appear.},
  opturl	= {},
  optpostscript	= {},
  optpdf	= {},
  optdvi	= {},
  optabstract	= {}
}