Sungwoo Park, Jonghyun Park. Towards a Cut-free Sequent Calculus for Boolean BI. In Alex Simpson, editor, International Workshop on Proof Systems for Program Logics, PSPL 2010, Edinburgh, Scotland, UK, July 10, 2010. Volume 12 of EPiC Series, pages 12-16, EasyChair, 2010. [doi]
@inproceedings{ParkP10-12,
title = {Towards a Cut-free Sequent Calculus for Boolean BI},
author = {Sungwoo Park and Jonghyun Park},
year = {2010},
url = {http://www.easychair.org/publications/?page=1791072435},
researchr = {https://researchr.org/publication/ParkP10-12},
cites = {0},
citedby = {0},
pages = {12-16},
booktitle = {International Workshop on Proof Systems for Program Logics, PSPL 2010, Edinburgh, Scotland, UK, July 10, 2010},
editor = {Alex Simpson},
volume = {12},
series = {EPiC Series},
publisher = {EasyChair},
}