TY  - BOOK
TI  - Symposium on Logic in Co
U1  - 621 
CY  - New York
ER  -