E. Freuder, “Explaining Ourselves: Human-Aware Constraint Reasoning”, AAAI, vol. 31, no. 1, Feb. 2017.