Computing Planarity in Computable Planar Graphs. - Oscar Levin; Taylor McMillan (Graphs Comb., 2016)