A. Indrzejczak, “Rule-Generation Theorem and its Applications”, B Sect Log, vol. 47, no. 4, pp. 265–281, Dec. 2018.