1: \begin{abstract}

2:   Wilf--Zeilberger pairs are fundamental in the algorithmic theory of Wilf and

3:   Zeilberger for computer-generated proofs of combinatorial

4:   identities. Wilf--Zeilberger forms are their high-dimensional

5:   generalizations, which can be used for proving and discovering convergence

6:   acceleration formulas. This paper presents a structural description of all

7:   possible rational such forms, which can be viewed as an additive

8:   analog of the classical Ore--Sato theorem. Based on this analog, we show a

9:   structural decomposition of so-called multivariate hyperarithmetic terms,

10:   which extend multivariate hypergeometric terms to the additive setting.

11: \end{abstract}

12: