Use of Cryptocurrency, Blockchain, and Artificial Intelligence for Tax Administration―Anti-VAT Fraud Measures and the VATCoin Concept―