L. D. Beklemishev, “On the unification problem for $\mathrm{GLP}$”, Изв. РАН. Сер. матем., 89:1 (2025), 3–17 ; Izv. Math., 89:1 (2025), 1–14
Nikita V Lukashov, “Unification in subsystems of polymodal provability logic GLP”, Logic Journal of the IGPL, 33:6 (2025)
Francisco Miguel García-Olmedo, Antonio Jesús Rodríguez-Salas, Pedro González-Rodelas, “Certain Bounds of Formulas in Free Temporal Algebras”, Axioms, 12:12 (2023), 1111