@proceedings{logicColl:1985,
  title = {Logic Colloquium  85, Orsay, France},
  year = {1987},
  tags = {logic},
  researchr = {https://researchr.org/publication/logicColl%3A1985},
  cites = {0},
  citedby = {0},
  booktitle = {Logic Colloquium  85, Orsay, France},
  conference = {logicColl},
  publisher = {Elsevier},
  isbn = {0-444-70211-3},
}