DOI,IST REx ID,Title of publication
10.1016/j.jsc.2012.06.006,5920,Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals