W. Alomari, K. E. Sabri, and N. Obeid, “A Digital Evidences Preservation Framework for a Logic Based Smart Contract”, IJCAI, vol. 47, no. 8, Oct. 2023.