Innocuous constructor-sharing combinations

. We investigate conditions under which confluence and/or terminationare preserved for constructor-sharing and hierarchical combinationsof rewrite systems, one of which is left-linear and convergent.1 IntroductionIn recent years there has been a spate of results on properties of rewrite systemsthat are preserved when two systems, each possessing the property in question, arecombined. Unfortunately, these results often do not allow the two systems to shareeven constructor symbols (in...