Indrzejczak, Andrzej. “Rule-Generation Theorem and Its Applications”. Bulletin of the Section of Logic 47, no. 4 (December 30, 2018): 265–281. Accessed February 26, 2026. https://www.czasopisma.uni.lodz.pl/bulletin/article/view/4866.