@STRING{lncs	= "Lecture Notes in Computer Science" }
@STRING{springer= "Springer-Verlag" }
@STRING{tlca11	= "Typed Lambda Calculi and Applications - 10th International
		  Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011,
		  Proceedings" }

@InProceedings{	  abelPientka:tlca11,
  author	= {Andreas Abel and Brigitte Pientka},
  title		= {Higher-Order Dynamic Pattern Unification for Dependent
		  Types and Records},
  booktitle	= tlca11,
  year		= {2011},
  pages		= {10-26},
  ee		= {http://dx.doi.org/10.1007/978-3-642-21691-6_5},
  crossref	= {DBLP:conf/tlca/2011},
  bibsource	= {DBLP, http://dblp.uni-trier.de}
}

@Proceedings{	  DBLP:conf/tlca/2011,
  editor	= {C.-H. Luke Ong},
  booktitle	= tlca11,
  publisher	= springer,
  series	= lncs,
  volume	= 6690,
  year		= 2011,
  isbn		= {978-3-642-21690-9},
  ee		= {http://dx.doi.org/10.1007/978-3-642-21691-6},
  bibsource	= {DBLP, http://dblp.uni-trier.de}
}