M. Benevides and A. de Oliveira.
"Propositional Dynamic Logic for Planning", in <em>Anais do I Workshop Brasileiro de Lógica</em>, Evento Online, 2020, pp. 17-24, doi: <a href="https://doi.org/10.5753/wbl.2020.11454">https://doi.org/10.5753/wbl.2020.11454</a>.