Uniform interpolation from cyclic proofs: the case of modal mu-calculus
scientific article