J. Elffers, S. Gocht, C. McCreesh, and J. Nordstr”öm, “Justifying All Differences Using Pseudo-Boolean Reasoning”, AAAI, vol. 34, no. 02, pp. 1486-1494, Apr. 2020.