Piątkowski, Jacek, and Sabina Szymoniak. “Trivializing Verification of Cryptographic Protocols”. Computer Assisted Methods in Engineering and Science, vol. 30, no. 4, Jan. 2023, pp. 389–406, https://doi.org/10.24423/cames.869.