Petrucio Viana

• Diagrammatic Representation and Inference