Eliminating ``converse'' from converse PDL
scientific article; zbMATH DE number 934096