F. Brandenburg, “A First Order Logic Definition of Beyond-Planar Graphs”, JGAA, vol. 22, no. 1, pp. 51–66, Jan. 2018.