TY  - BOOK
AU  -  IEEE Computer Society
TI  - Eleventh annual IEEE symposium on Logic in Computer Science: July 27-30, 1996, New Brunswick, New Jersey
SN  - 0818674636 (PB)
PY  - 1996///
PB  - IEEE Computer Society Press
ER  -