Alexander S. Kulikov

Russia

http://logic.pdmi.ras.ru/~kulikov/