@article{DBLP:journals/jacm/BanerjeeNR13,
author = "Anindya Banerjee and David A. Naumann and Stan Rosenberg",
journal = "J. ACM",
note = "(Partners: IMDEA,
Projects: Madrid Regional Government Project S2009TIC-1465 Prometidos; MINECO Project TIN2009-14599-C03-02 Desafios; EU NoE Project 256980 Nessos; US NSF grants CNS-0627748 and ITR-0326577; US NSF grants CNS-0627338, CRI-0708330, CCF-0429894, CCF-0915611,
NoTrier)
CITE(03/03/2014):10",
number = "3",
pages = "18",
title = "{L}ocal {R}easoning for {G}lobal {I}nvariants, {P}art {I}: {R}egion {L}ogic",
volume = "60",
year = "2013",
}