Planar posets have dimension at most linear in their height - Gwenaël Joret; Piotr Micek; Veit Wiechert (2016)