PacholskiS89'

BibTeX

@inproceedings{DBLP:conf/focs/PacholskiS89,
  author    = {Leszek Pacholski and
               Wieslaw Szwast},
  title     = {The 0-1 Law Fails for the Class of Existential Second Order
               G{\"o}del Sentences with Equality},
  booktitle = {FOCS},
  year      = {1989},
  pages     = {160-163},
  crossref  = {DBLP:conf/focs/FOCS30},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/focs/FOCS30,
  title     = {30th Annual Symposium on Foundations of Computer Science,
               30 October-1 November 1989, Research Triangle Park, North
               Carolina, USA},
  booktitle = {FOCS},
  publisher = {IEEE},
  year      = {1989},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}