Alomari, W.; Sabri, K. E.; Obeid, N. A Digital Evidences Preservation Framework for a Logic Based Smart Contract. IJCAI 2023, 47.