Brandenburg, F. A First Order Logic Definition of Beyond-Planar Graphs. JGAA 2018, 22, 51-66.