Branching-Depth Hierarchies. - Shoham Shamir; Orna Kupferman; Eli Shamir 001 (EXPRESS, 2000)