A congruence relation for sPBC | Publicación