@misc {IOPORT.70777918,
    author       = {Dershowitz, Nachum},
    title        = {Hierachical termination},
    howpublished = {CTRS, 89-105 (1994).},
    year         = {1994},
    doi          = {10.1007/3-540-60381-6_6},
    identifier   = {70777918},
}