1. The tptp (thousands of problems for theorem provers) library. http://www.cs.miami.edu/~tptp/
2. Ågotnes, T., Balbiani, P., van Ditmarsch, H., Seban, P.: Group announcement logic. J. Appl. Logic 8(1), 62–81 (2010)
3. Ågotnes, T., van Ditmarsch, H., French, T.: The undecidability of group announcements. In: International Conference on Autonomous Agents and Multi-agent Systems, AAMAS 2014, Paris, France, 5–9 May 2014, pp. 893–900 (2014)
4. Bachmair, L., Ganzinger, H., Waldmann, U.: Set constraints are the monadic class. In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS 1993), Montreal, Canada, 19–23 June 1993, pp. 75–83 (1993)
5. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)