Talk:Independence of Smith-dominated alternatives

What voting methods satisfy Smith criterion but not ISDA?

edit

In order for the reader to determine whether ISDA is redundant, shouldn't the article list some voting methods that satisfy Smith but not ISDA? SEppley (talk)