An Algorithmic Approach to Lattices and Order in Dynamics. - William D. Kalies; Dinesh Kasti; Robert C. A. M. Vandervorst (SIAM J. Appl. Dyn. Syst., 2018)