Deciding Hedged Bisimilarity | Publicación