Indrzejczak, A. Rule-Generation Theorem and Its Applications. B Sect Log 2018, 47, 265–281.