| |
| 2007 | ||
|---|---|---|
| 2 | EE | Linda Buisman, Rajeev Goré: A Cut-Free Sequent Calculus for Bi-intuitionistic Logic. TABLEAUX 2007: 90-106 |
| 1 | EE | Linda Buisman, Rajeev Goré: A Cut-free Sequent Calculus for Bi-Intuitionistic Logic: Extended Version CoRR abs/0704.1707: (2007) |
| 1 | Rajeev Goré | [1] [2] |