M. Ferreira, M. Menezes, and L. de Barros.
" Plan Existence Verification as Symbolic Model Checking", in <em>Proceedings of the 15th National Meeting on Artificial and Computational Intelligence</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>.