1. Hopcroft, J. E. and Tarjan, R. E., Efficient planarity testing,J. ACM,21 (1974), 549–568.
2. Liu Yanpei, Modulo 2 programming and planar embeddings,Acta Math. Appl. Sinica,1 (1978), 321–329.
3. Liu Yanpei, Planarity testing and planar embeddings of graphs,Acta Math. Appl. Sinica,2 (1979), 350–365.
4. Liu Yanpei, On the linearity of testing planarity of graphs, Research Report CORR 84-5, University of Waterloo, 1984. Also inChin. Annals Math., (B)7 (1986), 425–434.
5. Rosenstiehl, P., Preuve algebrique du critere de planarite du Wu-Liu,Annals of Discrete Math.,9 (1980), 67–78.