TY  - BOOK
AU  - IEEE
TI  - Proceedings Twelfth annual IEEE conference on computational complexity, June 24-27, 1997
SN  - 0-8186-7907-7
PB  - IEEE
ER  -