@proceedings{DBLP:conf/logicColl/1985, title = {Logic Colloquium '85, Orsay, France}, booktitle = {Logic Colloquium}, publisher = {Elsevier}, year = {1987}, isbn = {0-444-70211-3}, bibsource = {DBLP, http://dblp.uni-trier.de} }