Vaughan R. Pratt. Using Graphs to Understand PDL. In Dexter Kozen, editor, Logics of Programs, Workshop, Yorktown Heights, New York, May 1981. Volume 131 of Lecture Notes in Computer Science, pages 387-396, Springer, 1981.
@inproceedings{Pratt81,
title = {Using Graphs to Understand PDL},
author = {Vaughan R. Pratt},
year = {1981},
tags = {graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/Pratt81},
cites = {0},
citedby = {0},
pages = {387-396},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, May 1981},
editor = {Dexter Kozen},
volume = {131},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-11212-X},
}