Cita APA

Bolotov, A., Hermo Huguet, M., & Lucio Carrasco, F. (2018). Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach.

Citación estilo Chicago

Bolotov, Alexander, Montserrat Hermo Huguet, y Francisca Lucio Carrasco. Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach. 2018.

Cita MLA

Bolotov, Alexander, Montserrat Hermo Huguet, y Francisca Lucio Carrasco. Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach. 2018.