A graphical approach to relational reasoning

Andrea Formisano, Eugenio G. Omodeo, Marta Simeoni. A graphical approach to relational reasoning. Electronic Notes in Theoretical Computer Science, 44(3):153-174, 2001. [doi]

Abstract

Abstract is missing.