1. Khodadadi, M., Schmidt, R.A., Tishkovsky, D.: An abstract tableau calculus for the description logic
$\mathcal{SHOI}$
using unrestricted blocking and rewriting. In: Proc. DL 2012. CEUR Workshop Proceedings, vol. 846, pp. 224–234 (2012)
2. Khodadadi, M., Schmidt, R.A., Tishkovsky, D., Zawidzki, M.: Terminating tableau calculi for modal logic
$\textsl{\upshape K}$
with global counting operators (manuscript, 2012),
http://www.mettel-prover.org/papers/KEn12.pdf
3. Minica, S., Khodadadi, M., Schmidt, R.A., Tishkovsky, D.: Synthesising and implementing tableau calculi for interrogative epistemic logics. In: Proc. PAAR 2012, pp. 109–123 (2012)
4. Schmidt, R.A., Tishkovsky, D.: Automated synthesis of tableau calculi. Log. Methods Comput. Sci. 7(2:6), 1–32 (2011)
5. Schmidt, R.A., Tishkovsky, D.: Using tableau to decide description logics with full role negation and identity (2011) (manuscript),
http://www.mettel-prover.org/papers/ALBOid.pdf