L. Esakia i R. Grigolia, „Formulas of one propositional variable in intuitionistic logic with the Solovay modality”, LLP, t. 17, nr 1-2, s. 111–127, cze. 2008.