@inproceedings{BroersenWieringaMeyerCL2000,
    author = {J.M. Broersen and R.J. Wieringa and J.-J.Ch. Meyer},
    title = {A Semantics for Persistency in Propositional Dynamic Logic},
    booktitle = {Proceedings First International Conference on Computational Logic (CL2000)},
    year = {2000},
    pages = {912--925},
    series = {Lecture Notes in Artificial Intelligence},
    volume = 1861,
    publisher = {Springer},
    address = {},
    editor = {J. Lloyd and V. Dahl and U. Furbach and M. Kerber and K.-K. Lau and C. Palamidessi and L. Moniz Pereira and Y. Sagiv and P.J. Stuckey}}