https://123dok.net/document/9ynlx81q-dichotomy-theorem-existence-ef-cient-neutral-sequential-voting-correspondences.html