@article{Afanasiev_2005,
    doi = {10.3166/jancl.15.115-135},
    url = {https://doi.org/10.3166%2Fjancl.15.115-135},
    year = {2005},
    month = {jan},
    publisher = {Informa {UK} Limited},
    volume = {15},
    number = {2},
    pages = {115--135},
    author = {Loredana Afanasiev and Patrick Blackburn and Ioanna Dimitriou and Bertrand Gaiffe and Evan Goris and Maarten Marx and Maarten de Rijke},
    title = {{PDL} for ordered trees},
    journal = {Journal of Applied Non-Classical Logics}
}

@article{Afanasiev_2005, doi = {10.3166/jancl.15.115-135}, url = {https://doi.org/10.3166%2Fjancl.15.115-135}, year = {2005}, month = {jan}, publisher = {Informa {UK} Limited}, volume = {15}, number = {2}, pages = {115--135}, author = {Loredana Afanasiev and Patrick Blackburn and Ioanna Dimitriou and Bertrand Gaiffe and Evan Goris and Maarten Marx and Maarten de Rijke}, title = {{PDL} for ordered trees}, journal = {Journal of Applied Non-Classical Logics} }