Not Found
The requested URL /~sokolov/papers/bibtex/heur_sampl.txt was not found on this server.
Apache/2.2.22 (Debian) Server at logic.pdmi.ras.ru Port 443