Graphical representation of covariantcontravariant modal formulae (2011)

by Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino
Venue:In EXPRESS