Deciding bisimilarity is P -complete | Publicación