@article{BSL19_3_Ulrich,
author = {Dolph ULRICH},
title = {An Integer-Valued Matrix Characteristic for Implicational $S5$},
journal = {Bulletin of the Section of Logic},
volume = {19},
number = {3},
year = {1990},
pages = {87--91}
}