Ferreira, M., 		Menezes, M., & 		de Barros, L.
2018 Oct 22.  Plan Existence Verification as Symbolic Model Checking. Proceedings of the National Meeting on Artificial and Computational Intelligence (ENIAC). [Online] :