Bisimilar and logically equivalent programs in PDL
scientific article; zbMATH DE number 6578784