A. Pliuškevičienė, “Specialization of derivations in modal logic S5”, LMR, vol. 46, no. spec., pp. 242–246, Sep. 2023, doi: 10.15388/LMR.2006.30718.