Attention: this site is under construction now. If you can't find something here, please look at our old website. If you find something to be wrong, please let us know: smal[at]logic.pdmi.ras.ru.