Elicitation for Preferences Single Peaked on Trees
strategy - proofness and arrow ’ s conditions : existence and correspondence theorems for voting procedures and social welfare functions * .