Birgit Elbl: Cut elimination for a calculus with context-dependent rules. Arch. Math. Log. 40(3): 167-188 (2001)