Brandenburg, Franz. “A First Order Logic Definition of Beyond-Planar Graphs”. Journal of Graph Algorithms and Applications 22, no. 1 (January 1, 2018): 51–66. Accessed May 9, 2025. https://jgaa-v4.cs.brown.edu/index.php/jgaa/article/view/paper455.