TITLE     : Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities
AUTHOR(S) : Lang F, Mateescu R, Mazzanti F
TYPE      : Conference article
YEAR      : 2020
CODE      : 422698

*** DO NOT EDIT THIS FILE ***