Difference and Difference Quotient. Part IV. - Xiquan Liang; Ling Tang; Xichun Jiang (Formaliz. Math., 2011)