Normal Forms for Trivalent Graphs and Graphs of Bounded Valence

Martin Fürer, Walter Schnyder, Ernst Specker. Normal Forms for Trivalent Graphs and Graphs of Bounded Valence. In Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing, 25-27 April 1983, Boston, Massachusetts, USA. pages 161-170, ACM, 1983.