The monadic second-order logic of graphs XIII: Graph drawings with edge crossings

Bruno Courcelle. The monadic second-order logic of graphs XIII: Graph drawings with edge crossings. Theoretical Computer Science, 244(1-2):63-94, 2000. [doi]

Abstract

Abstract is missing.