Disproving Inductive Entailments in Separation Logic via Base Pair Approximation.

James Brotherston, Nikos Gorogiannis

Browse the full TABLEAUX paper archive.