@STRING{lncs	= "Lecture Notes in Computer Science" }
@STRING{springer= "Springer-Verlag" }
@STRING{tlca07	= "Typed Lambda Calculi and Applications, 8th International
		  Conference, TLCA 2007, Paris, France, June 26-28, 2007,
		  Proceedings" }

@InProceedings{	  abel:tlca07,
  author	= {Andreas Abel},
  title		= {Strong Normalization and Equi-(Co)Inductive Types},
  editor	= {Simona {Ronchi Della Rocca}},
  booktitle	= tlca07,
  year		= {2007},
  pages		= {8--22},
  series	= lncs,
  publisher	= springer,
  volume	= {4583},
  isbn		= {978-3-540-73227-3},
  ee		= {http://dx.doi.org/10.1007/978-3-540-73228-0_3},
  bibsource	= {DBLP, http://dblp.uni-trier.de}
}