F N Pakhomov, “Linear $ \mathrm{GLP}$-algebras and their elementary theories”, Izv. Math., 80, no. 6, 2016, 1159
Lev Dmitrievich Beklemishev, “On the unification problem for $\mathrm{GLP}$”, Известия Российской академии наук. Серия математическая, 89, no. 1, 2025, 3
Lev Dmitrievich Beklemishev, “On the unification problem for $\mathrm{GLP}$”, Izv. Math., 89, no. 1, 2025, 1
Nikita V Lukashov, “Unification in subsystems of polymodal provability logic GLP”, Logic Journal of the IGPL, 33, no. 6, 2025, jzaf071