TY  - BOOK
AU  - IEEE Computer Society
TI  - Logic in Computer Science, Thirteenth Annual IEEE Symposium on- Proceedings, Indiana, USA, 1998
SN  - 0 8186 8506 9
CY  - Calif.
KW  - Logic in Computer Science
ER  -