The complexity of PDL with interleaving
scientific article; zbMATH DE number 984570
scientific article