TY  - BOOK
AU  - Adian, Sergei. Ed.
AU  - Nerode, Anil. Ed.
TI  - Logical Foundations of Computer Science: Proceedings, 4th Int. Symp., LFCS '97, Yaroslavl, 1997
SN  - 3540630457
CY  - Berlin
ER  -