TY  - BOOK
AU  - IEEE Computer Society
TI  - Logic in Computer Science, Eighth Annual IEEE Symposium on- Proceedings, Montreal, Canada, 1993
SN  - 0 8186 3140 6
CY  - USA
KW  - Logic in Computer Science, 1993
ER  -