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