@article{BSL1_1_Slupecki_Bryll,
author = {Jerzy S{\L}UPECKI and Grzegorz BRYLL},
title = {The Proof of {\L}-Decidability of Lewis' System S5},
journal = {Bulletin of the Section of Logic},
volume = {1},
number = {1},
year = {1972},
pages = {32--34}
}