Benevides, M., & 		de Oliveira, A.
(2020).
 Propositional Dynamic Logic for Planning.
In <em>Proceedings of the 1st Brazilian Workshop of Logic</em>, (pp. 17-24). Porto Alegre: SBC.
doi:10.5753/wbl.2020.11454