Compact Distributed Certification Of Planar Graphs ; Proceedings Of The 39th Annual Acm Symposium On Principles Of Distributed Computing - Becker, F.; Montealegre, P.; Rapaport, I.; Todinca, I; Zimermann Ivan Rapaport (2020)