Score contribution per author:
α: calibrated so average coauthorship-adjusted count equals average raw count
In a many-to-one matching model, we show that the set of envy-free matchings is a lattice. A Tarski operator on this lattice, which can be interpreted as modeling vacancy chains, has the set of stable matchings as its fixed points.