Benevides, Mario, E 		de Oliveira, Anna.
" Propositional Dynamic Logic for Planning" <em>Anais do Workshop Brasileiro de Lógica (WBL)</em> [Online], (26 agosto 2020)