Albert R. Meyer, Robert S. Streett, Grazyna Mirkowska. The Deducibility Problem in Propositional Dynamic Logic. In Shimon Even, Oded Kariv, editors, Automata, Languages and Programming, 8th Colloquium, Acre (Akko), Israel, July 13-17, 1981, Proceedings. Volume 115 of Lecture Notes in Computer Science, pages 238-248, Springer, 1981.
Abstract is missing.