Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain[J] ENTROPY 2021(23) Sun, Xin Kulicki, Piotr Sopek, Mirek
