Freeman, R., et al.. Proportionality in Approval-based Elections with a Variable Number of Winners. International Joint Conferences on Artificial Intelligence Organization, 2020, doi:10.24963/ijcai.2020/19.