@article{CHEN2019133, title = "Proof of the Wilf¨CZeilberger conjecture for mixed hypergeometric terms", journal = "Journal of Symbolic Computation", volume = "93", pages = "133 - 147", year = "2019", issn = "0747-7171", doi = "https://doi.org/10.1016/j.jsc.2018.06.003", url = "http://www.sciencedirect.com/science/article/pii/S0747717118300671", author = "Shaoshi Chen and Christoph Koutschan", keywords = "Wilf¨CZeilberger conjecture, Hypergeometric term, Properness, Holonomic function, D-finite function, Ore¨CSato theorem", }