From Separation Logic to First-Order Logic.

Cristiano Calcagno, Philippa Gardner, Matthew Hague

Browse the full FOSSACS paper archive.