Benevides, M., & 		de Oliveira, A.
(2020).
Propositional Dynamic Logic for Planning.
In <em>Anais do I Workshop Brasileiro de Lógica</em>, (pp. 17-24). Porto Alegre: SBC.
doi:10.5753/wbl.2020.11454