Meng-meng Yao, Ye Zhu, Li Tang. Research on Formal Analysis Method of Computational Soundness Based on Strand Space. In Proceedings of the 4th International Conference on Mathematics and Artificial Intelligence, ICMAI 2019, Chegndu, China, April 12 - 15, 2019. pages 141-145, ACM, 2019. [doi]
Abstract is missing.