Albert R. Meyer Robert S. Streett Grazyna Mirkowska The Deducibility Problem in Propositional Dynamic Logic. 238-248 1981 conf/icalp/1981 ICALP db/conf/icalp/icalp81.html#MeyerSM81 http://dx.doi.org/10.1007/3-540-10843-2_20