Rajeev Goré, Linda Postniece, Alwen Tiu. Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic. In Lev D. Beklemishev, Valentin Goranko, Valentin Shehtman, editors, Advances in Modal Logic 8, papers from the eighth conference on "Advances in Modal Logic," held in Moscow, Russia, 24-27 August 2010. pages 156-177, College Publications, 2010. [doi]
@inproceedings{GorePT10,
title = {Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic},
author = {Rajeev Goré and Linda Postniece and Alwen Tiu},
year = {2010},
url = {http://www.aiml.net/volumes/volume8/Gore-Postniece-Tiu.pdf},
researchr = {https://researchr.org/publication/GorePT10},
cites = {0},
citedby = {0},
pages = {156-177},
booktitle = {Advances in Modal Logic 8, papers from the eighth conference on "Advances in Modal Logic," held in Moscow, Russia, 24-27 August 2010},
editor = {Lev D. Beklemishev and Valentin Goranko and Valentin Shehtman},
publisher = {College Publications},
isbn = {978-1-84890-013-4},
}