A Graphical Representation of Relational Formulae With Complementation

RAIRO - Theoretical Informatics and Applications - France
doi 10.1051/ita/2012003