R. Montaño, M. Castilho, F. Silva, and L. Künzle.
" Using Petri Nets and ISCAS Solvers to Treat Planning as Satisfiability", in <em>Proceedings of the 8th National Meeting on Artificial Intelligence</em>, Natal/RN, 2011, pp. 809-820.