Abducing Compliance of Incomplete Event Logs · Study