Quanti in combinatory PDL: completeness, de incompleteness (1985)

by S Passy, T Tinchev
Venue:In Fundamentals of Computation Theory FCT 85, volume 199 of LNCS