1A formal proof that a tax system can function without compliance decisions (opens in new tab)(papers.ssrn.com)4demyanov29d ago1