Dumancic, S.; Meert, W.; Goethals, S.; Stuyckens, T.; Huygen, J.; Denies, K. Automated Reasoning and Learning for Automated Payroll Management. AAAI 2021, 35, 15107-15116.