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
.