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