Ferreira, Macilio, Maria Viviane Menezes, and Leliane Nunes de Barros.
" Plan Existence Verification as Symbolic Model Checking." <em>Anais do XV Encontro Nacional de Inteligência Artificial e Computacional,
São Paulo, 2018</em>. SBC, 2018,  
pp.116-127.