1. Aucher, G., Schwarzentruber, F.: On the complexity of dynamic epistemic logic. In: Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013)
2. Balbiani, P., van Ditmarsch, H., Herzig, A., de Lima, T.: Tableaux for public announcement logic. J. Logic Comput. 20(1), 55–76 (2010)
3. Balco, S.: The calculus toolbox. https://goodlyrottenapple.github.io/calculus-toolbox/
4. Balco, S.: The calculus toolbox 2. https://github.com/goodlyrottenapple/calculus-toolbox-2
5. Balco, S., Frittella, S.: Muddy children in Isabelle. https://goodlyrottenapple.github.io/muddy-children/