Institute of Computer Science
1, Universitetskaya str.,
Izhevsk 426034, Russia
phone/fax: +7 (3412) 500295
e-mail: borisov@rcd.ru