Montaño, R., 		Castilho, M., 		Silva, F., & 		Künzle, L.
(2011).
 Using Petri Nets and ISCAS Solvers to Treat Planning as Satisfiability.
In <em>Proceedings of the 8th National Meeting on Artificial Intelligence</em>, (pp. 809-820). Porto Alegre: SBC.