T. Ye and D. Zhang, “Blockchain-Enabled Distributed Computing Framework for Optimized and Secure Resource Allocation via Smart Contract Verification”, IJCAI, vol. 49, no. 20, Apr. 2025.