TY  - RPRT
TI  - A Cut-free Sequent Calculus for Bi-Intuitionistic Logic: Extended Version
AU  - Linda Buisman
AU  - Rajeev Goré
PY  - 2007
UR  - https://arxiv.org/abs/0704.1707
ID  - 0704.1707
ER  -