_id,doi,title 5920,10.1016/j.jsc.2012.06.006,Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals