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.