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

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

@techreport{S92:inria,
  author = {Richard Statman},
  title = {A Short Note on a Problem of {Ray Smullyan}},
  institution = {INRIA-Rocquencourt},
  year = {1992},
  optaddress = {Le Chesnay, France},
  optmonth = sep
}