1. AlBarakati, R.G.: Development of a tableaux resolution prover. Master’s thesis, The University of Manchester, UK (2009)
2. AlBarakati, R.G.: spass-tab (2009), http://www.cs.man.ac.uk/~schmidt/spass-tab/
3. Andréka, H., Németi, I., van Benthem, J.: Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic 27(3), 217–274 (1998)
4. Andréka, H., van Benthem, J., Németi, I.: Back and forth between modal logic and classical logic. Bulletin of the IGPL 3(5), 685–720 (1995)
5. Areces, C., Gennari, R., Heguiabehere, J., de Rijke, M.: Tree-based heuristics in modal theorem proving. In: Proc. ECAI 2000, pp. 199–203. IOS Press (2000)