Computer Science – Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings - Diekert, Volker; Volkov, Mikhail V.; Voronkov, Andrei (Springer Berlin Heidelberg, 2007)