Author:
Publication: Artificial Intelligence
Second-order propositional modal logic: Expressiveness and completeness results
Multi-attribute proportional representation