Strategy-proof and envy-free mechanisms for house allocation. - Priyanka Shende; Manish Purohit (J. Econ. Theory, 2023)