TY - JOUR AU - Cantone, Domenico AU - Formisano, Andrea AU - Asmundo, Marianna Nicolosi AU - Omodeo, Eugenio Giovanni TI - A graphical representation of relational formulae with complementation JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2012 SP - 261 EP - 289 VL - 46 IS - 2 PB - EDP-Sciences UR - http://www.numdam.org/articles/10.1051/ita/2012003/ DO - 10.1051/ita/2012003 LA - en ID - ITA_2012__46_2_261_0 ER -