Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach | Publicación