This site isn't supported any longer.

You are to be redirected in a few seconds to my site in Russia.

URL of my Home page in Russia is http://logic.pdmi.ras.ru/~yumat/index.html.