Points-to analysis with efficient strong updates. - Ondrej Lhoták; Kwok-Chiang Andrew Chung (POPL, 2011)