Reasoning about actions: steady versus stabilizing state constraints
scientific article; zbMATH DE number 1238564