M. Ferreira, M. Menezes, and L. de Barros.
" Plan Existence Verification as Symbolic Model Checking", in <em>Anais do XV Encontro Nacional de Inteligência Artificial e Computacional</em>, São Paulo, 2018, pp. 116-127, doi: <a href="https://doi.org/10.5753/eniac.2018.4409">https://doi.org/10.5753/eniac.2018.4409</a>.