000 00301nam a2200133Ia 4500
008 190201s9999 xx 000 0 und d
082 _a621
082 _b395 SY
245 0 _aSymposium on Logic in Co
260 _aNew York
260 _bThe Computer Society
260 _c1987
300 _a"xi, 359"
999 _c30439
_d30439