Return to Article Details The Partial Operation of Formulas with Applications to Formulas Generated by Order-decreasing Mappings Download Download PDF