@misc{indiciaee2719dd5721f,
  title = {An Efficient Canonical Narrowing Implementation with Irreducibility and SMT Constraints for Generic Symbolic Protocol Analysis},
  author = {Raúl López-Rueda and Santiago Escobar and Julia Sapiña},
  year = {2023},
  url = {https://arxiv.org/abs/2307.06348},
  note = {Source identifier: 2307.06348}
}