@conference{DBLP:conf/vmcai/RosenbergBN12,
author = "Stan Rosenberg and Anindya Banerjee and David A. Naumann",
booktitle = "Verification, Model Checking, and Abstract Interpretation                - 13th International Conference, VMCAI 2012, Philadelphia,                PA, USA, January 22-24, 2012. Proceedings",
doi = "10.1007/978-3-642-27940-9_25",
editor = "Viktor Kuncak and                Andrey Rybalchenko",
isbn = "978-3-642-27939-3",
note = "PARTNERS: IMDEA
PROJECTS: NESSOS, PROMETIDOS, DESAFIOS
TIER: B
CITE(03/03/2014):5",
pages = "379-395",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
title = "{D}ecision {P}rocedures for {R}egion {L}ogic",
volume = "7148",
year = "2012",
}