1. Afshari, B., Enqvist, S., Leigh, G.E., Marti, J., Venema, Y.: Proof Systems for Two-way Modal mu-Calculus (2023). ILLC Prepublication Series, PP-2023-03
2. Lecture Notes in Computer Science;B Afshari,2019
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);B Afshari,2021
4. Ciabattoni, A., Lang, T., Ramanayake, R.: A theory of cut-restriction: first steps (2022). arXiv: 2203.01600
5. Emerson, E.A., Jutla, C.S.: Tree automata, mu-calculus and determinacy (extended abstract). In: 32nd Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, 1–4 October 1991, pp. 368–377. IEEE Computer Society (1991)