TY  - RPRT
TI  - Graphical representation of covariant-contravariant modal formulae
AU  - Luca Aceto
AU  - Ignacio Fábregas
AU  - David de Frutos-Escrig
AU  - Anna Ingólfsdóttir
AU  - Miguel Palomino
PY  - 2011
DO  - 10.4204/eptcs.64.1
UR  - https://arxiv.org/abs/1108.4464
ID  - 1108.4464
ER  -