Cut-elimination and proof-search for Biintuitionistic logic using nested sequents (2008)

by R Goré, L Postniece, A Tiu
Venue:In Advances in Modal Logic 7