Macilio Ferreira, Maria Viviane Menezes, and Leliane de Barros. 2018.
 Plan Existence Verification as Symbolic Model Checking. In <em>Anais do XV Encontro Nacional de Inteligência Artificial e Computacional</em>, outubro 22, 2018, São Paulo, Brasil. SBC, Porto Alegre, Brasil, 116-127. DOI: <a href="https://doi.org/10.5753/eniac.2018.4409">https://doi.org/10.5753/eniac.2018.4409</a>.