Automated Reasoning and Learning for Automated Payroll Management. - Sebastijan Dumancic; Wannes Meert; Stijn Goethals; Tim Stuyckens; Jelle Huygen; Koen Denies (AAAI, 2021)