TY  - BOOK
AU  - IEEE Symposium on logic in computer science (20
TI  - Logic in computer science. LICS 2005. Proceedings
SN  - 0769522661
U1  - 005 
PY  - 2005///
CY  - Piscataway
PB  - IEEE
ER  -