Validity of contextual formulas (extended version) | Publicación