Ferreira, M., 		Menezes, M., & 		de Barros, L.
2018 out 22.  Plan Existence Verification as Symbolic Model Checking. Anais do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC). [Online] :