Deciding Separation Logic Formulae with SAT by Incremental Negative Cycle Elimination (2005)

by C Wang, F Ivancic, M Ganai, A Gupta
Venue:in Proceeding of Logic for Programming, Artificial Intelligence and Reasoning