Jingwen Hu, Yong Zhong. A Method of Logic-Based Smart Contracts for Blockchain System. In Proceedings of the International Conference on Data Processing and Applications, ICDPA 2018, Guangdong, China, May 12-14, 2018. pages 58-61, ACM, 2018. [doi]
Abstract is missing.