Biniaz, Ahmad. “A Short Proof of the Non-Biplanarity of $K_9$”. Journal of Graph Algorithms and Applications, vol. 26, no. 1, Jan. 2022, pp. 75-80, doi:10.7155/jgaa.00582.