Институт систем информатики им. А.П. Ершова СО РАН, Новосибирск (Российская Федерация), e-mail: isi@iis.nsk.su.