@STRING{csl04	= "Computer Science Logic, 18th International Workshop, CSL
		  2004, 13th Annual Conference of the EACSL, Karpacz, Poland,
		  September 20-24, 2004, Proceedings" }
@STRING{lncs	= "Lecture Notes in Computer Science" }
@STRING{springer= "Springer-Verlag" }

@InProceedings{	  abelMatthes:csl04,
  author	= {Andreas Abel and Ralph Matthes},
  title		= {Fixed Points of Type Constructors and Primitive
		  Recursion},
  booktitle	= csl04,
  pages		= {190--204},
  year		= 2004,
  editor	= {Jerzy Marcinkowski and Andrzej Tarlecki},
  volume	= 3210,
  series	= lncs,
  publisher	= springer
}