An algebraic rewriting theorem of multiple linear recursions and its applications
1995 ◽
pp. 313-322