Wattanatripop, K.; Kumduang, T. The Partial Operation of Formulas With Applications to Formulas Generated by Order-Decreasing Mappings. Thai J Math 2023, 78-90.