TY  - RPRT
TI  - An Efficient Canonical Narrowing Implementation with Irreducibility and SMT Constraints for Generic Symbolic Protocol Analysis
AU  - Raúl López-Rueda
AU  - Santiago Escobar
AU  - Julia Sapiña
PY  - 2023
UR  - https://arxiv.org/abs/2307.06348
ID  - 2307.06348
ER  -