Andersen HR, Stirling C, Winskel G. A Compositional Proof System for the Modal mu-Calculus. BRICS [Internet]. 1994 Oct. 31 [cited 2024 May 3];1(34). Available from: https://tidsskrift.dk/brics/article/view/21609