Compositional entailment checking for a fragment of separation logic
scientific article; zbMATH DE number 6823096
scientific article