Jérôme Lang Logical Preference Representation and Combinatorial Vote. 37-71 2004 42 Ann. Math. Artif. Intell. 1-3 http://www.springerlink.com/index/10.1023/B:AMAI.0000034522.25580.09 db/journals/amai/amai42.html#Lang04