Andrew Reynolds 0001 Radu Iosif Tim King 0001 A Decision Procedure for Separation Logic in SMT. 2016 abs/1603.06844 CoRR http://arxiv.org/abs/1603.06844 db/journals/corr/corr1603.html#ReynoldsI016