1. Aloul, F., Ramani, A., Markov, I., Sakallah, K.: Solving difficult instances of Boolean satisfiability in the presence of symmetry. IEEE Trans. of CAD 22(9), 1117–1137 (2003)
2. Areces, C., Gennari, R., Heguiabehere, J., de Rijke, M.: Tree-based heuristics in modal theorem proving. In: Proc. of ECAI 2000, Berlin, pp. 199–203 (2000)
3. Areces, C., Heguiabehere, J.: hGen: A Random CNF Formula Generator for Hybrid Languages. In: Proc. of M4M-3, Nancy, France (2003)
4. Areces, C., Hoffmann, G., Orbe, E.: Symmetries in modal logics. In: Kesner, D., Viana, P. (eds.) Proc. of LSFA 2012, pp. 27–44 (2013)
5. Audemard, G., Mazure, B., Sais, L.: Dealing with symmetries in quantified boolean formulas. In: Proc. of SAT 2004, pp. 257–262 (2004)