Unifying decidable entailments in separation logic with inductive definitions
scientific article; zbMATH DE number 7437079
scientific article