Paulo A. S. Veloso, Sheila R. M. Veloso. Methodical Construction of Symbolic Diagrams. In Gerson Zaverucha, Augusto Cesar Pinto Loureiro da Costa, editors, Advances in Artificial Intelligence - SBIA 2008, 19th Brazilian Symposium on Artificial Intelligence, Savador, Brazil, October 26-30, 2008. Proceedings. Volume 5249 of Lecture Notes in Computer Science, pages 187-196, Springer, 2008. [doi]
Abstract is missing.