Walukiewicz, I. A Complete Deductive System for the Mu-Calculus. BRICS 1995, 2.