Ferreira, M., 		Menezes, M., & 		de Barros, L.
(2018).
 Plan Existence Verification as Symbolic Model Checking.
In <em>Anais do XV Encontro Nacional de Inteligência Artificial e Computacional</em>, (pp. 116-127). Porto Alegre: SBC.
doi:10.5753/eniac.2018.4409