Biabduction (and Related Problems) in Array Separation Logic.

James Brotherston, Nikos Gorogiannis, Max I. Kanovich

Browse the full CADE paper archive.