A formal proof that a tax system can function without compliance decisionspapers.ssrn.com4 pointsdemyanov4 months ago