Чагров А. Об эффективных теоремах о дедукции в нормальных модальных логиках. // Логические исследования / Logical Investigations. 2000. Т. 7. C. 209-216.