Logical Foundations of Computer Science 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings - Adian, Sergei; Adian, Sergei; Nerode, Anil; Nerode, Anil (Springer Berlin Heidelberg : Imprint: Springer, 1997)