@misc {IOPORT.70777921,
    author       = {B\"undgen, Reinhard},
    title        = {Preserving confluence for rewrite systems with built-in operations},
    howpublished = {CTRS, 71-88 (1994).},
    year         = {1994},
    doi          = {10.1007/3-540-60381-6_5},
    identifier   = {70777921},
}