A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Combinatorial commutation properties for reordering a sequence consisting of two kinds of steps, and for separating the well-foundedness of their combination into well-foundedness of each, are investigated. A weak commutation property, called "jumping", along with a weakened version of the lifting property, called "escaping" and requiring only an eventual lifting, are used for proving wellfoundedness of a generic, abstract version of the recursive path orderings. 1 These are thedoi:10.1016/j.tcs.2012.09.013 fatcat:eml7kpgvofaplbxqhbafyyhjn4