TY  - RPRT
TI  - Syntactic cut-elimination and backward proof-search for tense logic via linear nested sequents (Extended version)
AU  - Rajeev Goré
AU  - Björn Lellmann
PY  - 2019
UR  - https://arxiv.org/abs/1907.01270
ID  - 1907.01270
ER  -