@STRING{eptcs	= "Electronic Proceedings in Theoretical Computer Science" }
@STRING{lfmtp11	= "6th International Workshop on Logical Frameworks and
		  Meta-languages: Theory and Practice (LFMTP 2011), Nijmegen,
		  The Netherlands, August 26, 2011" }

@InProceedings{	  abelkraus:lfmtp11,
  author	= {Andreas Abel and Nicolai Kraus},
  title		= {A Lambda Term Representation Inspired by Linear Ordered
		  Logic},
  booktitle	= lfmtp11,
  year		= 2011,
  pages		= {1-13},
  ee		= {http://dx.doi.org/10.4204/EPTCS.71.1},
  crossref	= {DBLP:journals/corr/abs-1110-6685},
  bibsource	= {DBLP, http://dblp.uni-trier.de}
}

@Proceedings{	  dblp:journals/corr/abs-1110-6685,
  editor	= {Herman Geuvers and Gopalan Nadathur},
  booktitle	= lfmtp11,
  series	= eptcs,
  volume	= 71,
  year		= 2011,
  ee		= {http://dx.doi.org/10.4204/EPTCS.71},
  bibsource	= {DBLP, http://dblp.uni-trier.de}
}