Andersen HR, Stirling C, Winskel G. A Compositional Proof System for the Modal mu-Calculus. BRICS [Internet]. 1998 Jun. 10 [cited 2024 Apr. 27];5(40). Available from: https://tidsskrift.dk/brics/article/view/19485