Ingmar, L.; Garcia de la Banda, M.; Stuckey, P. J.; Tack, G. Modelling Diversity of Solutions. AAAI 2020, 34, 1528-1535.