A Superposition Calculus for Separation Logic.

Tanguy Bozec, Nicolas Peltier

Browse the full IJCAR paper archive.