@STRING{fundinf	= "Fundamenta Informaticae" }

@Article{	  abelCoquand:lfsigma,
  author	= {Andreas Abel and Thierry Coquand},
  title		= {Untyped Algorithmic Equality for {Martin-L\"of's} Logical
		  Framework with Surjective Pairs},
  journal	= fundinf,
  year		= 2007,
  volume	= 77,
  number	= 4,
  pages		= {345--395},
  note		= {{TLCA'05} special issue.},
  url		= {http://fi.mimuw.edu.pl/abs77.html#15}
}