Edmond Awad, Martin W. A. Caminada, Gabriella Pigozzi, Mikolaj Podlaszewski, Iyad Rahwan: Pareto optimality and strategy-proofness in group argument evaluation. J. Log. Comput. 27(8): 2581-2609 (2017)