Boolean Heaps
A. Podelski, T. Wies, in:, 12th International Symposium on Static Analysis, Springer, 2005, pp. 268–283.