Tableaux with partial caching for hybrid PDL with satisfaction statements
scientific article; zbMATH DE number 6802666