Benevides, Mario, AND 		de Oliveira, Anna.
" Propositional Dynamic Logic for Planning" <em>Proceedings of the Brazilian Workshop of Logic (WBL)</em> [Online], (26 August 2020)