Ferreira, Macilio, 		Menezes, Maria Viviane, E 		de Barros, Leliane.
" Plan Existence Verification as Symbolic Model Checking" <em>Anais do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC)</em> [Online], (22 outubro 2018)