A cut-free sequent calculus for bi-intuitionistic logic (2007)

by L Buisman, R Goré
Venue:In TABLEAUX