@comment{{This file has been generated by bib2bib 1.96}}

@comment{{Command line: /usr/bin/bib2bib -c '$key="V89:lics" or $key="stoevring:rs-05-35" or $key="Stoevring:LMCS-2006" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{ieee = {IEEE}}

@inproceedings{V89:lics,
  author = {Roel C. de Vrijer},
  title = {Extending the lambda calculus with surjective pairing is
        	         conservative},
  crossref = {lics89},
  pages = {204--215}
}

@techreport{Stoevring:RS-05-35,
  author = {Kristian St{\o}vring},
  title = {Extending the Extensional Lambda Calculus with
                            Surjective Pairing is Conservative},
  institution = {DAIMI, Department of Computer Science, University of
                            Aarhus},
  year = 2005,
  month = nov,
  type = {Research Report},
  number = {BRICS RS-05-35},
  address = {Aarhus, Denmark},
  url = {http://www.brics.dk/RS/05/35/}
}

@article{Stoevring:LMCS-2006,
  author = {Kristian St{\o}vring},
  title = {Extending the Extensional Lambda Calculus with
    Surjective Pairing is Conservative},
  journal = {Logical Methods in Computer Science},
  volume = 2,
  number = {2:1},
  pages = {1-14},
  year = 2006,
  url = {http://www.lmcs-online.org/ojs/viewarticle.php?id=140&layout=abstract}
}

@string{lics = {Symposium on Logic in Computer Science}}

@proceedings{lics89,
  booktitle = {Fourth } # lics,
  title = {Fourth } # lics,
  year = 1989,
  organization = ieee
}