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