Semantical analysis of constructive PDL
scientific article; zbMATH DE number 3794045