Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrúcio Viana. A Calculus for Graphs with Complement. In Ashok K. Goel, Mateja Jamnik, N. Hari Narayanan, editors, Diagrammatic Representation and Inference, 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings. Volume 6170 of Lecture Notes in Computer Science, pages 84-98, Springer, 2010. [doi]
Abstract is missing.