S. Dumancic, W. Meert, S. Goethals, T. Stuyckens, J. Huygen, and K. Denies, “Automated Reasoning and Learning for Automated Payroll Management”, AAAI, vol. 35, no. 17, pp. 15107-15116, May 2021.