@STRING{flops08	= "Functional and Logic Programming, 9th International
		  Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008.
		  Proceedings " }
@STRING{lncs	= "Lecture Notes in Computer Science" }
@STRING{springer= "Springer-Verlag" }

@InProceedings{	  abelCoquandDybjer:flops08,
  author	= {Andreas Abel and Thierry Coquand and Peter Dybjer},
  title		= {On the Algebraic Foundation of Proof Assistants for
		  Intuitionistic Type Theory},
  editor	= {Jacques Garrigue and Manuel V. Hermenegildo},
  booktitle	= flops08,
  year		= {2008},
  pages		= {3-13},
  publisher	= springer,
  series	= lncs,
  volume	= {4989},
  isbn		= {978-3-540-78968-0},
  ee		= {http://dx.doi.org/10.1007/978-3-540-78969-7_2},
  crossref	= {DBLP:conf/flops/2008},
  bibsource	= {DBLP, http://dblp.uni-trier.de}
}