A logic for Miranda, revisited
scientific article; zbMATH DE number 823618