@STRING{csl06	= "Computer Science Logic, 20th International Workshop, CSL
		  2006, 15th Annual Conference of the EACSL, Szeged, Hungary,
		  September 21-24, 2006, Proceedings" }
@STRING{lncs	= "Lecture Notes in Computer Science" }
@STRING{springer= "Springer-Verlag" }

@InProceedings{	  abel:csl06,
  author	= {Andreas Abel},
  title		= {Semi-continuous Sized Types and Termination},
  booktitle	= csl06,
  pages		= {72--88},
  year		= 2006,
  editor	= {Zolt\'an \'Esik},
  volume	= 4207,
  series	= lncs,
  publisher	= springer
}