TY  - RPRT
TI  - Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic
AU  - Rajeev Gore
AU  - Linda Postniece
AU  - Alwen Tiu
PY  - 2010
UR  - https://arxiv.org/abs/1006.4793
ID  - 1006.4793
ER  -