On the termination of the general XL algorithm and ordinary multinomials. - Gary McGuire; Daniela O'Hara (J. Symb. Comput., 2021)