K Mészáros, G Musiker, M Sherman-Bennett… - arXiv preprint arXiv …, 2024 - arxiv.org
The set of perfect matchings of a connected bipartite plane graph $ G $ has the structure of a
distributive lattice, as shown by Propp, where the partial order is induced by the height of a …