@STRING{mscs	= "Mathematical Structures in Computer Science" }

@Article{	  abel:mscs06,
  author	= {Andreas Abel},
  title		= {Polarized Subtyping for Sized Types},
  journal	= mscs,
  year		= {2006},
  optkey	= {},
  optvolume	= {},
  optnumber	= {},
  optpages	= {},
  optmonth	= {},
  note		= {Special issue on subtyping, edited by Healfdene Goguen and
		  Adriana Compagnoni. Submitted.},
  opturl	= {},
  optpostscript	= {},
  optpdf	= {},
  optdvi	= {},
  optabstract	= {}
}