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