@InProceedings{	  abelRodriguez:csl08,
  author	= {Andreas Abel and Dulma Rodriguez},
  title		= {Syntactic Metatheory of Higher-Order Subtyping},
  optcrossref	= {},
  optkey	= {},
  booktitle	= {Computer Science Logic, CSL 2008},
  optpages	= {},
  year		= {2008},
  opteditor	= {},
  optvolume	= {},
  optnumber	= {},
  optseries	= {},
  optaddress	= {},
  optmonth	= {},
  optorganization={},
  optpublisher	= {},
  optnote	= {},
  opturl	= {},
  optpostscript	= {},
  optpdf	= {},
  optdvi	= {},
  optabstract	= {}
}