TY  - GEN
TI  - Proceedings 31st annual symposium on foundations of computer science
N1  - Contine bibliografie
ER  -