Hierarchical termination revisited

Enno Ohlebusch
2002 Information Processing Letters  
doi:10.1016/s0020-0190(02)00272-7 fatcat:x5en6t4sjnfprgq2kad4qnbmeu