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