TY  - BOOK
AU  - IEEE Symposium on logic in computer science. (5
TI  - Logic in computer science. LICS 1990. Proceedings
SN  - 0818690739
U1  - 005 
PY  - 1990///
CY  - New York
PB  - IEEE
ER  -