Substituição tributária: modalidades e a polêmica sobre a restituição dos tributos pagos a maior na substituição progressiva