A Logic to Reason About f-Indices of Inclusion over Łn | Publicación