An elementary proof of the completeness of PDL. Theor (1981)

by D KOZEN, R PARIKH
Venue:Comp. Sci