A linear-time algorithm for 7-coloring 1-plane graphs
scientific article; zbMATH DE number 5013749