Proof search for propositional abstract separation logics via labelled sequents (2014)

by Z Hou, R Clouston, R Gore, A Tiu
Venue:In ACM SIGPLAN-SIGACT symposium on principles of programming languages (POPL