Tractability of Separation Logic with Inductive Definitions: Beyond Lists.

Taolue Chen, Fu Song, Zhilin Wu

Browse the full CONCUR paper archive.