Brandenburg, F. (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