G. De Giacomo and M. Favorito, “Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata”, ICAPS, vol. 31, no. 1, pp. 122-130, May 2021.