Andersen, Henrik Reif, Colin Stirling, and Glynn Winskel. “A Compositional Proof System for the Modal Mu-Calculus”. BRICS Report Series 1, no. 34 (October 31, 1994). Accessed May 3, 2024. https://tidsskrift.dk/brics/article/view/21609.