Goré, Rajeev,
Postniece, Linda and
Tiu, Alwen. 2008.
“Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.” in
Advances in Modal Logic, volume VII, edited by Carlos
Areces and Robert L.
Goldblatt, pp. 43–66. London: College Publications.
Goré, Rajeev,
Postniece, Linda and
Tiu, Alwen. 2010.
“Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic.” in
Advances in Modal Logic, volume VIII, edited by Lev D.
Beklemishev, Valentin
Goranko, and Valentin
Shehtman, pp. 156–177. London: King’s College Publications.