Susan Horwitz Precise Flow-Insensitive May-Alias Analysis is NP-Hard. 1-6 1997 19 ACM Trans. Program. Lang. Syst. 1 https://doi.org/10.1145/239912.239913 db/journals/toplas/toplas19.html#Horwitz97