TY  - BOOK
AU  - IEEE Symposium on logic in computer science (14
TI  - Logic in computer science. LICS 1999. Proceedings
SN  - 0780357701
U1  - 005 
PY  - 1999///
CY  - Los Alamitos
PB  - IEEE
ER  -