Postal address A.P. Ershov INSTITUTE OF INFORMATICS SYSTEMS Russian Academy of Sciences Siberian Branch 6, Acad. Lavrentjev pr., Novosibirsk 630090, Russia Phone +7 383 3308652 Fax +7 383 3323494 e-mail: iis@iis.nsk.su
