Heap Assumptions on Demand
A. Podelski, A. Rybalchenko, T. Wies, in:, Proceedings of the 30th International Conference of Computer Aided Verifacation, Springer Nature, 2008, pp. 314–327.