к статье "On separation of the emptiness and equivalence problems for program schemes" с просьбой опубликовать ее в журнале IPL.