Kazuya Yamamoto. "A full formal representation of Arrow’s impossibility theorem." PLoS ONE (2026). https://doi.org/10.1371/journal.pone.0343069