Brandenburg, Franz. 2018. “A First Order Logic Definition of Beyond-Planar Graphs”. Journal of Graph Algorithms and Applications 22 (1):51-66. https://doi.org/10.7155/jgaa.00455.