Automatically Testing Datalog Engines to Find Optimization Bugs

Date: