1. The tree width of separation logic with recursive definitions;Iosif,2013
2. Bi as an assertion language for mutable data structures;Ishtiaq,2001
3. Separation logic: a logic for shared mutable data structures;Reynolds,2002
4. Deciding entailments in inductive separation logic with tree automata;Iosif,2014
5. Beyond symbolic heaps: deciding separation logic with inductive definitions;Pagel,2020