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]
Abstract is missing.