Benevides, Mario, and Anna Moreira de Oliveira.
"Propositional Dynamic Logic for Planning." <em>Anais do I Workshop Brasileiro de Lógica,
Evento Online, 2020</em>. SBC, 2020,  
pp.17-24.