INDRZEJCZAK, Andrzej. Rule-Generation Theorem and its Applications. Bulletin of the Section of Logic, [S. l.], v. 47, n. 4, p. 265–281, 2018. DOI: 10.18778/0138-0680.47.4.03. Disponível em: https://czasopisma.uni.lodz.pl/bulletin/article/view/4866. Acesso em: 23 jul. 2024.