@Inproceedings{EPTCS113.15, author = {S. Veloso, Paulo A. and M. Veloso, Sheila R. }, year = {2013}, title = {A Graph Calculus for Predicate Logic}, editor = {Kesner, Delia and Viana, Petrucio}, booktitle = {{\rm Proceedings Seventh Workshop on} Logical and Semantic Frameworks, with Applications, {\rm Rio de Janeiro, Brazil, September 29-30, 2012}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {113}, publisher = {Open Publishing Association}, pages = {153-168}, doi = {10.4204/EPTCS.113.15}, }