Dershowitz, 2012. Jumping and escaping: Modular termination and the abstract path ordering 464.. https://doi.org/10.1016/j.tcs.2012.09.013