## Dexter Kozen

*A Representation Theorem for Models of *-Free PDL*

ICALP, 1980.

@inproceedings{ICALP-1980-Kozen, author = "Dexter Kozen", booktitle = "{Proceedings of the Seventh Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-10003-2_83", isbn = "3-540-10003-2", pages = "351--362", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Representation Theorem for Models of *-Free PDL}", volume = 85, year = 1980, }