Benevides, M., & 		de Oliveira, A.
2020 ago 26.  Propositional Dynamic Logic for Planning. Anais do Workshop Brasileiro de Lógica (WBL). [Online] :