Proof search and counter-model construction for Bi-intuitionistic propositional logic with labelled sequents

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)