A Digital Evidences Preservation Framework for a Logic Based Smart Contract. IJCAI. 2023;47(8). doi:10.31449/inf.v47i8.4132