@article{DBLP:journals/jacm/BanerjeeN13,
author = "Anindya Banerjee and David A. Naumann",
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):5",
number = "3",
pages = "19",
title = "{L}ocal {R}easoning for {G}lobal {I}nvariants, {P}art {II}: {D}ynamic               {B}oundaries",
volume = "60",
year = "2013",
}