Институт систем информатики им. А.П. Ершова СО РАН, Новосибирск, Russian Federation, Ph.D
Email: murzin@iis.nsk.su