Proportionality in Approval-Based Participatory Budgeting. - Markus Brill; Stefan Forster; Martin Lackner; Jan Maly 001; Jannik Peters 001 (AAAI, 2023)