@article{BSL20_1_Boricic,
author = {Branislav R. BORI{\v{C}}I{\'C}},
title = {Interpolation Theorem for Intuitionistic $S4$},
journal = {Bulletin of the Section of Logic},
volume = {20},
number = {1},
year = {1991},
pages = {2--6}
}