1. N. Bonnette and R. Goré. A labelled sequent system for tense logic Kt. In AI98, LNAI 1502:71–82. Springer, 1998.
2. B. Beckert and J. Posegga. leanTAP: Lean tableau-based deduction. Journal of Automated Reasoning, 15(3):339–358, 1995.
3. Lect Notes Comput Sci;A. Heuerding,1998
4. U. Hustadt and R. Schmidt. Simplification and backjumping in modal tableau. In Tableaux98 LNAI 1397:187–201. Springer, 1998.
5. A. Heuerding, M. Seyfried, and H. Zimmermann. Efficient loop-check for backward proof search in some non-classical logics. In Tableaux96, LNAI 1071:210–225, Springer, 1996.