U. Endriss, “Analysis of One-to-One Matching Mechanisms via SAT Solving: Impossibilities for Universal Axioms”, AAAI, vol. 34, no. 02, pp. 1918–1925, Apr. 2020.