L. Ingmar, M. Garcia de la Banda, P. J. Stuckey, and G. Tack, “Modelling Diversity of Solutions”, AAAI, vol. 34, no. 02, pp. 1528-1535, Apr. 2020.