The Effects of Adding Reachability Predicates in Propositional Separation Logic.

Stphane Demri, tienne Lozes, Alessio Mansutti

Browse the full FOSSACS paper archive.