Benevides, M., & 		de Oliveira, A.
2020 Aug 26.  Propositional Dynamic Logic for Planning. Proceedings of the Brazilian Workshop of Logic (WBL). [Online] :