TY  - RPRT
TI  - Biabduction (and Related Problems) in Array Separation Logic
AU  - James Brotherston
AU  - Nikos Gorogiannis
AU  - Max Kanovich
PY  - 2016
UR  - https://arxiv.org/abs/1607.01993
ID  - 1607.01993
ER  -