Laura Menini, Corrado Possieri, Antonio Tornambè: A symbolic algorithm to compute immersions of polynomial systems into linear ones up to an output injection. J. Symb. Comput. 99: 1-20 (2020)