Brotherston, J; Kanovich, M; Gorogiannis, N; (2017) Biabduction (and related problems) in array separation logic. In: De Moura, L, (ed.) Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings. (pp. pp. 472-490). Springer: Cham, Switzerland.