Xiangfu Zhao, Zhongyu Chen, Xin Chen, Yanxia Wang, Changbing Tang. The DAO attack paradoxes in propositional logic. In 4th International Conference on Systems and Informatics, ICSAI 2017, Hangzhou, China, November 11-13, 2017. pages 1743-1746, IEEE, 2017. [doi]
Abstract is missing.