Alechina, N., Bulling, N., Demri, S., & Logan, B. (2016). On the Complexity of Resource-Bounded Logics. In Reachability problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings (36-50). https://doi.org/10.1007/978-3-319-45994-3_3