1. Lecture Notes in Computer Science;N Bonnette,1998
2. Brünnler, K.: Deep sequent systems for modal logic. Arch. Math. Log. 48, 551–577 (2009)
3. Dershowitz, N., Manna, Z.: Proving termination with multiset orderings. Commun. ACM 22(8), 465–476 (1979)
4. Goré, R.: Tableau methods for modal and temporal logics. In: D’Agostino, M., Gabbay, D.M., Hähnle, R., Posegga, J. (eds.) Handbook of Tableau Methods. Kluwer, Dordrecht (1999)
5. Goré, R., Lellmann, B.: Syntactic cut-elimination and backward proof-search for tense logic via linear nested sequents (extended version). CoRR abs/1907.01270 (2019).
http://arxiv.org/abs/1907.01270