Giuseppe Scollo: An Institution Isomorphism for Planar Graph Colouring. RelMiCS 2003: 252-264