Biniaz, A. (2022). A short proof of the non-biplanarity of $K_9$. Journal of Graph Algorithms and Applications, 26(1), 75–80. https://doi.org/10.7155/jgaa.00582