Semipositivity in separation logic with two variables
scientific article; zbMATH DE number 6919118