Elffers, J.; Gocht, S.; McCreesh, C.; Nordstr”öm, J. Justifying All Differences Using Pseudo-Boolean Reasoning. AAAI 2020, 34, 1486-1494.