Carvalho, L.; Degiovanni, R.; Brizzio, M.; Cordy, M.; Aguirre, N.; Le Traon, Y.; Papadakis, M. ACoRe: Automated Goal-Conflict Resolution. JAIIO 2023, 9.