Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic | Publicación