Han-Hing Dang. Algebraic Calculi for Separation Logic. PhD thesis, University of Augsburg, 2015. [doi]
@phdthesis{dnb-378, title = {Algebraic Calculi for Separation Logic}, author = {Han-Hing Dang}, year = {2015}, url = {http://d-nb.info/1077704933}, researchr = {https://researchr.org/publication/dnb-378}, cites = {0}, citedby = {0}, school = {University of Augsburg}, }