On Model Checking Boolean BI.

Heng Guo, Hanpin Wang, Zhongyuan Xu, Yongzhi Cao

Browse the full CSL paper archive.