Omori, Hitoshi. “A Note on Ciuciura’s MbC1”. Bulletin of the Section of Logic 48, no. 3 (October 30, 2019): 161–171. Accessed May 3, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/6203.