Paulo A. S. Veloso
- Veloso, Paulo A. S., and Sheila R. M. Veloso. 2008. “Methodical Construction of Symbolic Diagrams.” In Advances in Artificial Intelligence - SBIA 2008, edited by Gerson Zaverucha and Augusto Loureiro da Costa, 187–196. Berlin: Springer. (0 diagrams)
- Veloso, Paulo A. S., and Walter Carnielli. 2004. “Logics For Qualitative Reasoning.” In Logic, Epistemology, and the Unity of Science, edited by Shahid Rahman, John Symons, Dov M. Gabbay, and Jean Paul Van Bendegem, 487–526. Dordrecht: Springer. (0 diagrams)