Indrzejczak, Andrzej. 2018. “Rule-Generation Theorem and Its Applications”. Bulletin of the Section of Logic 47 (4):265–281. https://doi.org/10.18778/0138-0680.47.4.03.