"Biabduction (and Related Problems) in Array Separation Logic."

James Brotherston, Nikos Gorogiannis, Max I. Kanovich (2017)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics