On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems
scientific article; zbMATH DE number 983342
scientific article