On the union of well-founded relations
H Doornbos · Logic Journal of IGPL · 1998
We give a criterion for the union of well-founded (i.e., noetherian) relations to be well-founded, generalizing results of Geser and of Bachmair-Dershowitz. The proof is written in a calculational style and is conducted entirely in regular algebra. Key words: Well-founded relations, regular algebra, program termination.