The Complexity of Abduction for Separated Heap Abstractions.

Nikos Gorogiannis, Max I. Kanovich, Peter W. O'Hearn

Browse the full SAS paper archive.