Proof search for propositional abstract separation logics via labelled sequents.

Zhe Hou, Ranald Clouston, Rajeev Gor, Alwen Tiu

Browse the full POPL paper archive.