An Efficient Canonical Narrowing Implementation for Protocol Analysis | Publicación