Tian-Xiao He, Leetsch C. Hsu, Peter Jau-Shyong Shiue. Symbolization of generating functions; an application of the Mullin-Rota theory of binomial enumeration. Computers & Mathematics with Applications, 54(5):664-678, 2007. [doi]
Abstract is missing.