TY  - BOOK
AU  - Warsaw University
TI  - Proceedings twelfth annual ieee symposium on logic and computer science
SN  - 0818679255
PB  - IEEE
ER  -