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]
No references recorded for this publication.
No citations of this publication recorded.