Brandenburg F. A First Order Logic Definition of Beyond-Planar Graphs. JGAA [Internet]. 2018 Jan. 1 [cited 2026 Mar. 23];22(1):51-66. Available from: https://jgaa-v5.cs.brown.edu/index.php/jgaa/article/view/paper455