## Albert R. Meyer, Robert S. Streett, Grazyna Mirkowska

*The Deducibility Problem in Propositional Dynamic Logic*

ICALP, 1981.

@inproceedings{ICALP-1981-MeyerSM, author = "Albert R. Meyer and Robert S. Streett and Grazyna Mirkowska", booktitle = "{Proceedings of the Eighth Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-10843-2_20", isbn = "3-540-10843-2", pages = "238--248", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{The Deducibility Problem in Propositional Dynamic Logic}", volume = 115, year = 1981, }