A Cut-Free Sequent Calculus for Bi-intuitionistic Logic. - Linda Buisman; Rajeev Goré (TABLEAUX, 2007)

A Cut-free Sequent Calculus for Bi-Intuitionistic Logic: Extended Version - Linda Buisman; Rajeev Goré (CoRR, 2007)

Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents. - Rajeev Goré; Linda Postniece; Alwen Tiu (Advances in Modal Logic, 2008)

An Experimental Evaluation of Global Caching for (System Description). - Rajeev Goré; Linda Postniece (IJCAR, 2008)

Taming Displayed Tense Logics Using Nested Sequents with Deep Inference. - Rajeev Goré; Linda Postniece; Alwen Tiu (TABLEAUX, 2009)

Deep Inference in Bi-intuitionistic Logic. - Linda Postniece (WoLLIC, 2009)

Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic. - Rajeev Goré; Linda Postniece; Alwen Tiu (Advances in Modal Logic, 2010)

Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic. - Rajeev Goré; Linda Postniece (J. Log. Comput., 2010)

On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics - Rajeev Goré; Linda Postniece; Alwen Tiu (Log. Methods Comput. Sci., 2011)