A separation logic with data: small models and automation
scientific article; zbMATH DE number 6958116