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