A planarity algorithm based on the Kuratowski theorem. - Peng-Siu Mei; Norman E. Gibbs (AFIPS Spring Joint Computing Conference, 1970)