Patrick Gardy. Low complexity and large interactions are possible in Strategy logic. In Dominique Méry, Shengchao Qin, editors, 2019 International Symposium on Theoretical Aspects of Software Engineering, TASE 2019, Guilin, China, July 29-31, 2019. pages 192-199, IEEE, 2019. [doi]
Abstract is missing.