Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method | Publicación