@article{BSL7_2_Omyla,
author = {Mieczys{\l}aw OMY{\L}A},
title = {Boolean Theories with Quantifiers},
journal = {Bulletin of the Section of Logic},
volume = {7},
number = {2},
year = {1978},
pages = {76--83}
}