@inproceedings{CalcagnoGardnerHague2005,
  author = "C. Calcagno, P. Gardner and M. Hague",
  booktitle = "FoSSaCS",
  title = "From Separation Logic to First-Order Logic",
  year = "2005",
}