@article{BSL6_4_Omyla,
author = {Mieczys{\l}aw OMY{\L}A},
title = {Barcan Formulas in $SCI$ with Quantifiers},
journal = {Bulletin of the Section of Logic},
volume = {6},
number = {4},
year = {1977},
pages = {171--176}
}