Piątkowski, J., & 		Szymoniak, S.
(2023).
 Trivializing Verification of Cryptographic Protocols.
<em>Computer Assisted Methods In Engineering And Science, 30</em>(4), 389–406.
doi:10.24423/cames.869