1. Biere, A., Heule, M., van Maaren, H.: Handbook of satisfiability, vol. 185. IOS press (2009)
2. Cook, S.A., Reckhow, R.A.: The relative efficiency of propositional proof systems. The Journal of Symbolic Logic 44(01), 36–50 (1979)
3. Fauconnier, G., Turner, M.: Conceptual blending, form and meaning. Recherches en communication 19(19), 57–86 (2003)
4. Fauconnier, G., Turner, M.: The Way We Think. Basic Books (2003)
5. Fleuriot, J., Maclean, E., Smaill, A., Winterstein, D.: Reinventing the complex numbers (2014)