Omori, H. “A Note on Ciuciura’s MbC1”. Bulletin of the Section of Logic, vol. 48, no. 3, Oct. 2019, pp. 161-7, doi:10.18778/0138-0680.48.3.01.