Restituição Imposto de Renda para Estrangeiros

Pessoal

eu estou com uma duvida como e a restituição de imposto de renda para estrangeiros

eu trabalho em uma empresa coreana,e o imposto de renda de alguns funcionários não foi recebida,por falta de informação
e os mesmos funcionários ja foi demitido e voltaram para o pais de origem,
e como se faz para receber a restituição desses ex funcionários?

o responsável da empresa esta com problema de receber
procuração publica da poderes dele receber?