Every planar map is four colorable. Part II: Reducibility

Abstract
No abstract available