An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis | Publicación