Giuseppe Scollo. An Institution Isomorphism for Planar Graph Colouring. In Rudolf Berghammer, Bernhard Möller, Georg Struth, editors, Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Pape. Volume 3051 of Lecture Notes in Computer Science, pages 252-264, Springer, 2003. [doi]
Abstract is missing.