Просит сообщить дату поступления статьи "On separation of the emptiness and equivalence problems for program scheme".