@STRING{lmcs	= "Logical Methods in Computer Science" }

@Article{	  abel:lmcs07,
  author	= {Andreas Abel},
  title		= {Semi-continuous Sized Types and Termination},
  journal	= lmcs,
  year		= 2008,
  doi		= {DOI: 10.2168/LMCS-4(2:3)2008},
  volume	= 4,
  number	= 2,
  note		= {CSL'06 special issue. Submitted.},
  url		= {http://lmcs-online.org/ojs/viewarticle.php?id=271}
}