PP-2023-03: Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh, Johannes Marti, Yde Venema Proof Systems for Two-way Modal mu-Calculus 1.Full Text, 2.Abstract. < Back
