How to generate all possible rational Wilf-Zeilberger forms?

Shaoshi Chen, Christoph Koutschan, Yisen Wang

Wilf-Zeilberger pairs are fundamental in the algorithmic theory of Wilf and Zeilberger for computer-generated proofs of combinatorial identities. Wilf-Zeilberger forms are their hi…