WATTANATRIPOP, K.; KUMDUANG, T. The Partial Operation of Formulas with Applications to Formulas Generated by Order-decreasing Mappings. Thai Journal of Mathematics, [S. l.], p. 78–90, 2023. Disponível em: https://thaijmath2.in.cmu.ac.th/index.php/thaijmath/article/view/1473. Acesso em: 3 jul. 2024.