Wattanatripop, K. and Kumduang, T. 2023. The Partial Operation of Formulas with Applications to Formulas Generated by Order-decreasing Mappings. Thai Journal of Mathematics. (Sep. 2023), 78–90.