Алёшина, Н., и Д. Шкатов. «Общий метод доказательства разрешимости интуиционистских модальных логик». Логические исследования, т. 13, январь 2007 г., сс. 5-23, doi:10.21146/2074-1472-2007-13-0-5-23.