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

@comment{{Command line: /usr/bin/bib2bib -c '$key="V89:lics" or $key="KV89:ic" or 1=2' ../biblio/abbrevs.bib ../biblio/rtaloop.bib ../biblio/crossrefs.bib}}

@string{ieee = {IEEE}}

@string{ic = {Information and Computation}}

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

@article{KV89:ic,
  author = {Jan Willem Klop and Roel C. {de Vrijer}},
  year = 1989,
  title = {Unique normal forms for lambda calculus with surjective
			pairing},
  journal = ic,
  volume = 80,
  pages = {97--113}
}

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

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