Indrzejczak, A. Rule-Generation Theorem and Its Applications. B Sect Log 2018, 47 (4), 265–281. https://doi.org/10.18778/0138-0680.47.4.03.