Alechina, Natasha, Bulling, Nils, Demri, Stéphane, Logan, Brian S., "On the complexity of resource-bounded logics", Theoretical Computer Science, 2018